mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-18 19:54:05 +00:00
14 lines
306 B
Diff
14 lines
306 B
Diff
diff -u a/Makefile b/Makefile
|
|
--- a/Makefile
|
|
+++ b/Makefile
|
|
@@ -1,1 +1,5 @@
|
|
-TARGETS = opam-file-format.cma opam-file-format.cmxa opam-file-format.cmxs
|
|
+TARGETS = opam-file-format.cma opam-file-format.cmxa
|
|
+
|
|
+ifeq "$(NATDYNLINK)" "true"
|
|
+TARGETS = $(TARGETS) opam-file-format.cmxs
|
|
+endif
|
|
|
|
all: $(TARGETS)
|
|
|