updated Makefile
commit55ba776e91cb6b2b59fac36ef7c793b62034e9fc
authormelissam <mfm6@st-andrews.ac.uk>
dateWed 8 Aug 2012, 16:55 (14 years ago)
parent6ce39ad
contribs/lib/SQLite3/._Makefile
Binary file not shown.
contribs/lib/SQLite3/Makefile+3−2
@@ -3,10 +3,11 @@
33
44.PHONY: all
55
6−sqltest : sqlite3.idr sqlite3api.o
7− idris sqlite3.idr -o sqltest
6+sqltest : testunit.idr sqlite3.idr sqlite3api.o
7+ idris testunit.idr -o sqltest
88
99sqlite3api.o : sqlite3api.c
1010 gcc -c sqlite3api.c
1111
1212all : sqltest sqlite3api.o
13+