diff Makefile.in @ 855:28e42b22424d

Initial implementation of protocols in Settings
author Adam Chlipala <adamc@hcoop.net>
date Tue, 23 Jun 2009 15:56:04 -0400
parents 19fdeef40ada
children 86ec89baee01
line wrap: on
line diff
--- a/Makefile.in	Tue Jun 23 15:40:35 2009 -0400
+++ b/Makefile.in	Tue Jun 23 15:56:04 2009 -0400
@@ -13,7 +13,9 @@
 
 smlnj: src/urweb.cm
 mlton: bin/urweb
-c: lib/c/urweb.o lib/c/request.o lib/c/driver.o
+
+OBJS := urweb request http
+c: $(OBJS:%=lib/c/%.o)
 
 clean:
 	rm -f src/*.mlton.grm.* src/*.mlton.lex.* \