git.iko.soy/Idris-dev
on master help sign in
updated Makefile
55ba776melissam
contribs/lib/SQLite3/._Makefile
compare with master
unifiedsplit

Binary file not shown.

contribs/lib/SQLite3/Makefile+3−2
@@ -3,10 +3,11 @@
3
3
4.PHONY: all
4.PHONY: all
5
5
6−sqltest : sqlite3.idr sqlite3api.o
6+sqltest : testunit.idr sqlite3.idr sqlite3api.o
7− idris sqlite3.idr -o sqltest
7+ idris testunit.idr -o sqltest
8
8
9sqlite3api.o : sqlite3api.c
9sqlite3api.o : sqlite3api.c
10 gcc -c sqlite3api.c
10 gcc -c sqlite3api.c
11
11
12all : sqltest sqlite3api.o
12all : sqltest sqlite3api.o
13+