simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 11:15:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

sat_solve is now build in 'all', test replacfes test-full in Makefile

Browse source 
targets.
This commit is contained in:
Guillaume Bury 2014-11-05 21:19:28 +01:00
parent b614e743e2
commit 51f5a00224
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Makefile
View file

@ -11,7 +11,7 @@ NAME=msat
LIB=$(addprefix $(NAME), .cma .cmxa .cmxs) LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
all:$(LIB) all:$(LIB) $(TEST)
$(LIB): $(LIB):
$(COMP) $(FLAGS) $(DIRS) $(LIB) $(COMP) $(FLAGS) $(DIRS) $(LIB)
@ -20,8 +20,6 @@ doc:
$(COMP) $(FLAGS) $(DIRS) $(DOC) $(COMP) $(FLAGS) $(DIRS) $(DOC)
test: $(TEST) test: $(TEST)
test-full: $(TEST)
./tests/run ./tests/run
$(TEST): $(LIB) $(TEST): $(LIB)