projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
main: change default 'future delay' for promise expiration
[model-checker.git]
/
Makefile
diff --git
a/Makefile
b/Makefile
index ee08b5c420656ad567e4354889f1143aa3a8e9f7..b653e7699c4c055dbfa99b68fab57c5fd95d303c 100644
(file)
--- a/
Makefile
+++ b/
Makefile
@@
-27,7
+27,7
@@
docs: *.c *.cc *.h
doxygen
$(LIB_SO): $(OBJECTS)
doxygen
$(LIB_SO): $(OBJECTS)
- $(CXX) $(SHARED) -o $(LIB_SO) $
(OBJECTS)
$(LDFLAGS)
+ $(CXX) $(SHARED) -o $(LIB_SO) $
+
$(LDFLAGS)
malloc.o: malloc.c
$(CC) -fPIC -c malloc.c -DMSPACES -DONLY_MSPACES -DHAVE_MMAP=0 $(CPPFLAGS) -Wno-unused-variable
malloc.o: malloc.c
$(CC) -fPIC -c malloc.c -DMSPACES -DONLY_MSPACES -DHAVE_MMAP=0 $(CPPFLAGS) -Wno-unused-variable
@@
-42,7
+42,7
@@
malloc.o: malloc.c
PHONY += clean
clean:
PHONY += clean
clean:
- rm -f *.o *.so .*.d
+ rm -f *.o *.so .*.d
*.pdf *.dot
$(MAKE) -C $(TESTS_DIR) clean
PHONY += mrclean
$(MAKE) -C $(TESTS_DIR) clean
PHONY += mrclean