Update build for new GT

Signed-off-by: Kakadu <Kakadu@pm.me>
This commit is contained in:
Kakadu 2020-08-26 16:37:24 +03:00
parent e44ca6b948
commit ebfb05856f

View file

@ -3,9 +3,9 @@ OCAMLC = ocamlfind c
OCAMLOPT = ocamlfind opt
OCAMLDEP = ocamlfind dep
SOURCES = version.ml stdpath.ml Language.ml Pprinter.ml SM.ml X86.ml Driver.ml
CAMLP5 = -syntax camlp5o -package ostap.syntax,GT.syntax.all
CAMLP5 = -syntax camlp5o -package ostap.syntax,GT-p5,GT.syntax.all
PXFLAGS = $(CAMLP5)
BFLAGS = -rectypes -g -w -13-58 -package ostap,unix
BFLAGS = -rectypes -g -w -13-58 -package GT,ostap,unix
OFLAGS = $(BFLAGS)
all: depend metagen $(TOPFILE)
@ -45,4 +45,3 @@ clean:
%.cmx: %.ml
$(OCAMLOPT) -c $(OFLAGS) $(STATIC) $(PXFLAGS) $<