added makefile
commit01a92160d3ebc945415bfc556b7aae57890e33de
authormelissam <mfm6@st-andrews.ac.uk>
dateTue 24 Jul 2012, 18:36 (14 years ago)
parentdf80754
contribs/lib/SQLite3/._Makefilenew file
Binary file not shown.
contribs/lib/SQLite3/._sqlite3.idr
Binary file not shown.
contribs/lib/SQLite3/._sqlite3api.cnew file
Binary file not shown.
contribs/lib/SQLite3/._sqlite3api.h
Binary file not shown.
contribs/lib/SQLite3/Makefilenew file+12
@@ -0,0 +1,12 @@
1+# This makefile compiles the project
2+#
3+
4+.PHONY: all
5+
6+sqltest : sqlite3.idr sqlite3api.o
7+ idris sqlite3.idr -o sqltest
8+
9+sqlite3api.o : sqlite3api.c
10+ gcc -c sqlite3api.c
11+
12+all : sqltest sqlite3api.o