blob: 4824726a9555995dc97192001dd32eb63b3b1a28 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- lablgtk-2.14.2/src/Makefile.orig 2012-07-31 17:37:12.000000000 +0200
+++ lablgtk-2.14.2/src/Makefile 2012-07-31 17:37:17.000000000 +0200
@@ -191,7 +191,7 @@
.ml4.cmo:
$(CAMLC) -c -pp "$(CAMLP4O) -impl" -impl $<
.cmxa.cmxs:
- $(CAMLOPT) -verbose -o $@ -shared -linkall -I . \
+ $(CAMLOPT) -o $@ -shared -linkall -I . \
-ccopt '$(filter -L%, $(DYNLINKLIBS))' $<
#.ml4.ml:
|
