src/work/jacint/makefile
changeset 452 6636be9bc35e
parent 441 bb61e80e8aa1
child 453 f6731902c702
     1.1 --- a/src/work/jacint/makefile	Tue Apr 27 22:59:15 2004 +0000
     1.2 +++ b/src/work/jacint/makefile	Tue Apr 27 23:00:42 2004 +0000
     1.3 @@ -1,3 +1,23 @@
     1.4 -BINARIES = preflow_res_comp preflow_excess_test
     1.5 -INCLUDEDIRS= -I../../include -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
     1.6 -include ../makefile
     1.7 +CXX3 := $(shell type -p g++-3.3 || type -p g++-3.2 || type -p g++-3.0 || type -p g++-3 || echo g++)
     1.8 +CXX2 = g++-2.95
     1.9 +CXX=$(CXX3)
    1.10 +CC=$(CXX)
    1.11 +INCLUDEDIRS ?= -I../../include -I.. -I../{marci,jacint,alpar,klao,akos,athos} 
    1.12 +CXXFLAGS = -W -Wall -ansi -pedantic -O3 $(INCLUDEDIRS)
    1.13 +LEDAROOT ?= /ledasrc/LEDA-4.1
    1.14 +
    1.15 +BINARIES = preflow_excess_test
    1.16 +
    1.17 +
    1.18 +all: $(BINARIES)
    1.19 +
    1.20 +.depend dep depend:
    1.21 +	-$(CXX) $(INCLUDEDIRS) -M $(BINARIES:=.cc) > .depend #2>/dev/null
    1.22 +
    1.23 +makefile: .depend
    1.24 +sinclude .depend
    1.25 +
    1.26 +clean:
    1.27 +	$(RM) *.o $(BINARIES) .depend
    1.28 +
    1.29 +.PHONY: all clean dep depend