8ac5e011d6
GitOrigin-RevId: 2c3273caa153ee8eb5786bc8141b85b859e7efd7
12 lines
274 B
Diff
12 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)
|