diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/num/enable-static.patch')
| -rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/num/enable-static.patch | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/num/enable-static.patch b/nixpkgs/pkgs/development/ocaml-modules/num/enable-static.patch new file mode 100644 index 000000000000..be3ca197f4ec --- /dev/null +++ b/nixpkgs/pkgs/development/ocaml-modules/num/enable-static.patch @@ -0,0 +1,12 @@ +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) |