From 3b518dfa49ead4148b3997406da09c4a63c87cb2 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Sat, 9 Jul 2005 16:33:19 +0000 Subject: [PATCH] built test_{lexer,parser} per default --- helm/ocaml/cic_notation/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile index f7c268c3a..ea2f30449 100644 --- a/helm/ocaml/cic_notation/Makefile +++ b/helm/ocaml/cic_notation/Makefile @@ -26,7 +26,7 @@ IMPLEMENTATION_FILES = \ $(patsubst %.mli, %.ml, $(INTERFACE_FILES)) \ $(NULL) -all: +all: test_lexer test_parser LOCAL_LINKOPTS = -package helm-cic_notation -linkpkg test: test_lexer test_parser -- 2.39.2