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