diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/Makefile b/Makefile deleted file mode 100644 index 81c9d98..0000000 --- a/Makefile +++ /dev/null @@ -1,15 +0,0 @@ -CC = gcc -CFLAGS = -Wall -D_GNU_SOURCE -g -fPIC -Werror -LDFLAGS = -lm -lgsl -lgslcblas - -libextentsampling.so: extent-sampling.o nd-random.o gaussian-nd-random.o oracles.o utils.o - $(CC) $(CFLAGS) $(LDFLAGS) -shared -o $@ $^ - -depends: $(wildcard *.c) - $(CC) $(CFLAGS) -MM $^ > depends - -include depends - -.PHONY: clean -clean: - rm -vf *.o *.so depends |