mirror of
https://github.com/c-cube/sidekick.git
synced 2025-12-06 03:05:31 -05:00
fix redundancies in Makefile
This commit is contained in:
parent
1eb8cc62a0
commit
50b62b4802
1 changed files with 4 additions and 6 deletions
10
Makefile
10
Makefile
|
|
@ -11,19 +11,17 @@ NAME=msat
|
|||
|
||||
LIB=$(addprefix $(NAME), .cma .cmxa .cmxs)
|
||||
|
||||
all:$(LIB) $(TEST)
|
||||
all: lib test
|
||||
|
||||
$(LIB):
|
||||
lib:
|
||||
$(COMP) $(FLAGS) $(DIRS) $(LIB)
|
||||
|
||||
doc:
|
||||
$(COMP) $(FLAGS) $(DIRS) $(DOC)
|
||||
|
||||
test: $(TEST)
|
||||
./tests/run
|
||||
|
||||
$(TEST): $(LIB)
|
||||
test:
|
||||
$(COMP) $(FLAGS) $(DIRS) $(TEST)
|
||||
./tests/run
|
||||
|
||||
bench: $(TEST)
|
||||
cd bench && $(MAKE)
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue