src/work/jacint/makefile
changeset 200 f40bb16b0405
parent 173 de9849252e78
child 211 9222a9b8b323
     1.1 --- a/src/work/jacint/makefile	Thu Mar 18 11:35:41 2004 +0000
     1.2 +++ b/src/work/jacint/makefile	Thu Mar 18 12:07:37 2004 +0000
     1.3 @@ -1,9 +1,9 @@
     1.4 -CXX3 = g++-3.0
     1.5 +CXX3 := $(shell type -p g++-3.3 || type -p g++-3.2 || type -p g++-3.0 || type -p g++-3 || echo g++)
     1.6  CXX2 = g++-2.95
     1.7  CXXFLAGS = -W -Wall -ansi -pedantic
     1.8  LEDAROOT = /ledasrc/LEDA-4.1
     1.9  
    1.10 -BINARIES = prim
    1.11 +BINARIES = preflow dijkstra prim
    1.12  
    1.13  all: $(BINARIES)
    1.14