diff -uprNZ cduce-0.6.0/Makefile.distrib cduce-0.6.1/Makefile.distrib --- cduce-0.6.0/Makefile.distrib 2014-03-05 14:49:17.000000000 +0100 +++ cduce-0.6.1/Makefile.distrib 2014-08-01 18:15:14.606679963 +0200 @@ -17,7 +17,7 @@ ifeq ($(NATIVE),true) all: cduce_lib.cmxa endif -PACKAGES = dynlink camlp4 ulex pcre num netstring +PACKAGES = dynlink camlp4 camlp4.extend ulex pcre num netstring # Call make with VERBOSE=true to get a trace of commands @@ -41,14 +41,14 @@ SYNTAX_PARSER = -syntax camlp4o $(SYNTAX CAMLC_P = ocamlc -g DEPEND_OCAMLDEP = misc/q_symbol.cmo ifeq ($(PROFILE), true) - CAMLOPT_P = ocamlopt -p -inline 10000 + CAMLOPT_P = ocamlopt -p -inline 100 ifeq ($(NATIVE), false) CAMLC_P = ocamlcp -p a SYNTAX_PARSER = DEPEND_OCAMLDEP = endif else - CAMLOPT_P = ocamlopt -inline 10000 + CAMLOPT_P = ocamlopt -inline 100 endif OPT = -warn-error FPSXY diff -uprNZ cduce-0.6.0/parser/parser.ml cduce-0.6.1/parser/parser.ml --- cduce-0.6.0/parser/parser.ml 2014-03-05 14:49:17.000000000 +0100 +++ cduce-0.6.1/parser/parser.ml 2014-08-01 18:14:52.822680449 +0200 @@ -1,4 +1,3 @@ -#load "pa_extend.cmo";; open Cduce_loc (* let raise = Pervasives.raise *)