diff -ur hacl-star-raw-0.7.1/hacl-star-raw/Makefile hacl-star-raw-new/hacl-star-raw/Makefile --- hacl-star-raw-0.7.1/hacl-star-raw/Makefile 2023-06-01 13:29:49.000000000 +0000 +++ hacl-star-raw-new/hacl-star-raw/Makefile 2024-01-27 13:32:29.252198742 +0000 @@ -33,6 +33,10 @@ SO = so OCAML_SO = so CFLAGS += -fPIC +else ifeq ($(UNAME),NetBSD) + SO = so + OCAML_SO = so + CFLAGS += -fPIC endif STATIC_C_LIB_NAME=hacl_static diff -ur hacl-star-raw-0.7.1/hacl-star-raw.opam hacl-star-raw-new/hacl-star-raw.opam --- hacl-star-raw-0.7.1/hacl-star-raw.opam 2023-06-01 13:29:49.000000000 +0000 +++ hacl-star-raw-new/hacl-star-raw.opam 2024-01-27 19:48:16.065305017 +0000 @@ -26,7 +26,7 @@ ] available: [ arch != "ppc64" & arch != "ppc32" & arch != "arm32" & - (os = "freebsd" | os-family != "bsd") + ( os = "freebsd" | os = "netbsd" | os-family != "bsd") ] build: [ [make "-C" "hacl-star-raw" "build-c"] diff -ur hacl-star-raw-0.7.1/hacl-star.opam hacl-star-raw-new/hacl-star.opam --- hacl-star-raw-0.7.1/hacl-star.opam 2023-06-01 13:29:49.000000000 +0000 +++ hacl-star-raw-new/hacl-star.opam 2024-01-27 19:48:31.031026498 +0000 @@ -25,7 +25,7 @@ "odoc" {with-doc} ] available: [ - os = "freebsd" | os-family != "bsd" + os = "freebsd" | os = "netbsd" | os-family != "bsd" ] build: [ ["dune" "subst"] {dev}