diff options
| author | tomsmeding <hallo@tomsmeding.nl> | 2015-12-17 20:02:02 +0100 |
|---|---|---|
| committer | tomsmeding <hallo@tomsmeding.nl> | 2015-12-17 20:02:02 +0100 |
| commit | 9f54f2222a180d2563433d267f5505881c69c71b (patch) | |
| tree | c6ebe150a6ce26744b9daa594ed79a1515421042 /cripp/Makefile | |
| parent | f35a3c6de1e010042056f2364a3575b193c97128 (diff) | |
some cripp fixes
Diffstat (limited to 'cripp/Makefile')
| -rw-r--r-- | cripp/Makefile | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/cripp/Makefile b/cripp/Makefile index 925e6f7..91015ae 100644 --- a/cripp/Makefile +++ b/cripp/Makefile @@ -1,2 +1,13 @@ CXX = g++ -CXXFLAGS = -Wall -Wextra -O2 -std=c++11 -lgmp -lgmpxx
\ No newline at end of file +CXXFLAGS = -Wall -Wextra -O2 -std=c++11 -lgmp -lgmpxx -I/usr/local/include -L/usr/local/lib +BIN = cripp + +.PHONY: all clean remake + +all: $(BIN) + +clean: + rm -f $(BIN) + +remake: clean all + |