Skip to content
Snippets Groups Projects
Commit 0b085fb9 authored by Thorsten Wißmann's avatar Thorsten Wißmann
Browse files

GMLMIP: Makefile optimizations

parent 07c53791
No related branches found
No related tags found
No related merge requests found
...@@ -20,10 +20,10 @@ rules: ...@@ -20,10 +20,10 @@ rules:
make -C rules make -C rules
main: main.o $(POBJS) $(FOBJS) $(ROBJS) main: main.o $(POBJS) $(FOBJS) $(ROBJS)
$(GCC) $(GCCFLAGS) $(POBJS) $(FOBJS) $(ROBJS) -lbdd -lm -lglpk main.o -o main $(GCC) $(GCCFLAGS) $(POBJS) $(FOBJS) $(ROBJS) -lbdd -lm -lglpk $< -o $@
main.o: main.cpp ./parser/mlf-driver.h ./formulas/formula.h ./formulas/satisfyingassignment.h $(SUBDIRS) main.o: main.cpp ./parser/mlf-driver.h ./formulas/formula.h ./formulas/satisfyingassignment.h $(SUBDIRS)
$(GCC) $(GCCFLAGS) -c main.cpp $(GCC) $(GCCFLAGS) -c $< -o $@
clean: clean:
rm -rf *.o main rm -rf *.o main
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment