ilyakooo0/IdrisSqlite
1
0
Fork 0
mirror of https://github.com/ilyakooo0/IdrisSqlite.git synced 2024-11-22 23:30:08 +03:00
Code Issues Projects Releases Wiki Activity
Effectful bindings for SQLite (forked from IdrisWeb)
29 Commits 1 Branch 0 Tags 101 KiB
Idris 78.8%
C 21.2%
8fec8fc60e
Go to file
Colin Adams 8fec8fc60e Added instruction for ensuring libffi support
2016-04-19 09:39:31 +01:00
src Removeds C compiler warning 2016-04-19 08:48:18 +01:00
type-provider-demo Added instruction for ensuring libffi support 2016-04-19 09:39:31 +01:00
.gitignore Completed changes from previous commit (missed some files) and updated README.md 2016-04-19 08:15:02 +01:00
LICENSE Import MIT license from IdrisWeb 2014-02-03 13:14:08 +01:00
README.md Added instruction for ensuring libffi support 2016-04-19 09:39:31 +01:00
sqlite_test.ipkg Converted everything to 0.11 syntax except lemma in Queries.idr 2016-04-19 08:10:15 +01:00
sqlite.ipkg Completed changes from previous commit (missed some files) and updated README.md 2016-04-19 08:15:02 +01:00
test.db Removeds C compiler warning 2016-04-19 08:48:18 +01:00

README.md

SQLite bindings for Idris

These SQLite bindings are forked from IdrisWeb.

To install:

Make sure your idris command was built with libffi support (if not rebuild it so - you will need to create a custom.mk file - copy custom.mk-alldeps and edit it)

idris --install sqlite.ipkg

to test installation:

idris --build sqlite_test.ipkg ./sqlite_test

expected output is:

Done DBText "test", DBText "CREATE TABLE test (name INT, age INT)"