+alll: $(LIB) $(TPROG1) $(TPROG2)
+
+$(TPROG1): $(TPROG1).o $(LIB) ../lib/bfile.a ../lib/util.a ../lib/dfa.a
+ $(CC) $(CFLAGS) -o $(TPROG1) $(TPROG1).o $(LIB) ../lib/bfile.a ../lib/dfa.a ../lib/util.a
+
+$(TPROG2): $(TPROG2).o $(LIB) ../lib/util.a
+ $(CC) $(CFLAGS) -o $(TPROG2) $(TPROG2).o ../lib/util.a