program(students, students.o rafnu.o,,$(CLIBS) $(SQL_LIB), $(PROGDIR))
program(employee, employee.o rafnu.o,,$(CLIBS) $(SQL_LIB), $(PROGDIR))
-program(sign, sign.o rafnu.o,,$(CLIBS) $(SQL_LIB), $(PROGDIR))
+/* program(verify, verify.o rafnu.o,,/mit/gdss/`machtype`/libgdss.a $(CLIBS) $(SQL_LIB), $(PROGDIR)) */
+program(sign, sign.o rafnu.o,,/mit/gdss/`machtype`/libgdss.a $(CLIBS) $(SQL_LIB), $(PROGDIR))
+/* program(vote, vote.o rafnu.o,,$(CLIBS) $(SQL_LIB), $(PROGDIR)) */
sqlfile(students)
sqlfile(employee)
sqlfile(sign)
+sqlfile(verify)
+sqlfile(vote)