diff --git a/src/Makefile b/src/Makefile index 5f5d854be..764b8e4fc 100644 --- a/src/Makefile +++ b/src/Makefile @@ -3,7 +3,7 @@ OCAMLC = ocamlc OCAMLOPT = ocamlopt OCAMLDEP = ocamldep SOURCES = Language.ml SM.ml Driver.ml -LIBS = GT.cma unix.cma re.cma re_emacs.cma re_str.cma +LIBS = GT.cma unix.cma re.cma emacs/re_emacs.cma str/re_str.cma CAMLP5 = -pp "camlp5o -I `ocamlfind -query GT.syntax` -I `ocamlfind -query ostap.syntax` pa_ostap.cmo pa_gt.cmo -L `ocamlfind -query GT.syntax`" PXFLAGS = $(CAMLP5) BFLAGS = -rectypes -I `ocamlfind -query GT` -I `ocamlfind -query re` -I `ocamlfind -query ostap`