git.iko.soy/Idris-dev
on dcdebfc help sign in
Idris-dev/contribs/lib/SQLite3/Makefile
16 lines 291 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 -c sqlite3api.c
12sqlite3api.so: sqlite3api.c
13 gcc -fPIC -o sqlite3api.so -shared sqlite3api.c
15all : sqltest sqlite3api.o