core/libcliquer/Makefile.patch
2015-04-13 07:59:57 +00:00

47 lines
1.1 KiB
Diff

diff -ru src/Makefile b/Makefile
--- src/Makefile 2010-01-22 08:53:21.000000000 +0100
+++ b/Makefile 2014-01-16 14:55:51.977047191 +0100
@@ -1,24 +1,3 @@
-
-##### Configurable options:
-
-## Compiler:
-CC=gcc
-#CC=cc
-
-## Compiler flags:
-
-# GCC: (also -march=pentium etc, for machine-dependent optimizing)
-CFLAGS=-Wall -O3 -fomit-frame-pointer -funroll-loops
-
-# GCC w/ debugging:
-#CFLAGS=-Wall -g -DINLINE=
-
-# Compaq C / Digital C:
-#CFLAGS=-arch=host -fast
-
-# SunOS:
-#CFLAGS=-fast
-
## Program options:
# Enable long options for cl (eg. "cl --help"), comment out to disable.
@@ -29,14 +8,14 @@
##### End of configurable options
-all: cl
+all: libcliquer.so
testcases: testcases.o cliquer.o graph.o reorder.o
$(CC) $(LDFLAGS) -o $@ testcases.o cliquer.o graph.o reorder.o
-cl: cl.o cliquer.o graph.o reorder.o
- $(CC) $(LDFLAGS) -o $@ cl.o cliquer.o graph.o reorder.o
+libcliquer.so: cl.o cliquer.o graph.o reorder.o
+ $(CC) $(LDFLAGS) $(SAGESOFLAGS) -o $@ cl.o cliquer.o graph.o reorder.o
cl.o testcases.o cliquer.o graph.o reorder.o: cliquer.h set.h graph.h misc.h reorder.h Makefile cliquerconf.h