diff -r 4f54d89fa9d2 -r 0defa5aa1229 src/work/jacint/makefile
--- a/src/work/jacint/makefile	Mon Mar 08 12:29:07 2004 +0000
+++ b/src/work/jacint/makefile	Tue Mar 09 15:32:40 2004 +0000
@@ -3,7 +3,7 @@
 CXXFLAGS = -W -Wall -ansi -pedantic
 LEDAROOT = /ledasrc/LEDA-4.1
 
-BINARIES = preflow
+BINARIES = preflow dijkstra
 
 all: $(BINARIES)
 
@@ -13,6 +13,9 @@
 preflow: 
 	$(CXX3) $(CXXFLAGS) -O3 -I. -I.. -I../marci -o preflow preflow.cc
 
+dijkstra: 
+	$(CXX3) $(CXXFLAGS) -O3 -I. -I.. -I../marci -o dijkstra dijkstra.cc
+
 clean:
 	$(RM) *.o $(BINARIES) .depend