some code using ur/web, a language/web framework based on dependent types (ie, Coq, Agda, etc) - a login mechanism with salting — http://www.impredicative.com/ur/
all: librandom.a libhash.a
librandom.a: librandom.o
ar rcs $@ $<
librandom.o: random.c
gcc -I/usr/local/include/urweb -g -c -o $@ $<
libhash.a: libhash.o
ar rcs $@ $<
libhash.o: hash.c
gcc -I/usr/local/include/urweb -g -c -o $@ $<
.PHONY: clean
clean:
rm -f librandom.a librandom.o libhash.a libhash.o
|