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