blob: 2a8dd6c206b6cb9abd6b2c2466e1e3e73bc8fd75 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
diff --git a/lib/Makefile b/lib/Makefile
index b5934e5..8c6373b 100644
--- a/lib/Makefile
+++ b/lib/Makefile
@@ -13,7 +13,8 @@
#* $Id: Makefile,v 1.4 2002-04-22 11:50:47 xleroy Exp $
include ../config/Makefile
-include $(OCAMLLIB)/Makefile.config
+#include $(OCAMLLIB)/Makefile.config
+include /usr/lib/ocaml/Makefile.config
BYTEOBJS=com.cmo
BYTELIB=com.cma
|