From ebfb05856ff2d8354a9dcc09743fd44e5f630606 Mon Sep 17 00:00:00 2001 From: Kakadu Date: Wed, 26 Aug 2020 16:37:24 +0300 Subject: [PATCH] Update build for new GT Signed-off-by: Kakadu --- src/Makefile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/Makefile b/src/Makefile index ed77617e0..af5d51222 100644 --- a/src/Makefile +++ b/src/Makefile @@ -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) $< -