added verify and finished sign

diff --git a/regtape/Imakefile b/regtape/Imakefile
index 685374134ceddcb2b281b790f326bcb4909936f2..b37adeeb97bb4b18627849cd605e2b8e6f668378 100644 (file)
--- a/regtape/Imakefile
+++ b/regtape/Imakefile
@@ -13,8 +13,10 @@ sqlrule()
 
 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))
 
 sqlfile(students)
 sqlfile(employee)
 sqlfile(sign)
+sqlfile(verify)