git.iko.soy/Idris-dev
on master help sign in
added makefile
01a9216melissam
contribs/lib/SQLite3/._Makefilenew file
compare with master
unifiedsplit

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