mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-23 06:03:40 +00:00
13 lines
274 B
Diff
13 lines
274 B
Diff
diff -u a/src/Makefile b/src/Makefile
|
|
--- a/src/Makefile
|
|
+++ b/src/Makefile
|
|
@@ -45,7 +45,7 @@
|
|
endif
|
|
|
|
libnums.$(A): $(COBJS)
|
|
- $(OCAMLMKLIB) -oc nums $(COBJS)
|
|
+ $(OCAMLMKLIB) -custom -oc nums $(COBJS)
|
|
|
|
nums.cma: $(CMOS)
|
|
$(OCAMLMKLIB) -o nums -oc nums -linkall $(CMOS)
|