git.iko.soy/Idris-dev
on 8a3d348 help sign in
Idris-dev/contribs/lib/SQLite3/Makefile
15 lines 300 B history raw
1# This makefile compiles the project
2#
4.PHONY: all
6sqltest : testunit.idr Sqlite3.idr sqlite3api.o
7 idris testunit.idr -o sqltest
9sqlite3api.o : sqlite3api.c
10 gcc -I . -c sqlite3api.c
12sqlite3api.so: sqlite3api.c
13 gcc -I . -fPIC -o sqlite3api.so -shared sqlite3api.c
15all : sqltest sqlite3api.o