mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-28 00:24:18 +00:00
13 lines
345 B
Diff
13 lines
345 B
Diff
|
diff -ru megam_0.92/Makefile megam_0.92-b/Makefile
|
||
|
|
--- megam_0.92/Makefile 2007-10-08 18:06:04.000000000 +0100
|
||
|
|
+++ megam_0.92-b/Makefile 2013-11-25 10:14:20.000000000 +0000
|
||
|
|
@@ -59,7 +59,7 @@
|
||
|
|
|
||
|
|
WITHUNIX =unix.cma -cclib -lunix
|
||
|
|
|
||
|
|
-WITHSTR =str.cma -cclib -lstr
|
||
|
|
+WITHSTR =str.cma -cclib -lcamlstr
|
||
|
|
|
||
|
|
WITHBIGARRAY =bigarray.cma -cclib -lbigarray
|
||
|
|
|