IdrisSqlite

IdrisSqlite copied to clipboard

I've made minor edits that allow all of the packages to build and run as expected on Idris 1.2.0. The README now has a bit more formatting and specifies SQLite...

ethansr

```` ~/t/I/src (master|✚1) ❯❯❯ pwd Mon 2017-08-07 12:59:10 -0700 /home/scott/tmp/IdrisSqlite/src ~/t/I/src (master|✚1) ❯❯❯ make -f MakefileC Mon 2017-08-07 12:59:12 -0700 gcc -c sqlite3api.c In file included from sqlite3api.c:11: sqlite3api.h:12:21: error:...

bonds

It appears IdrisSqlite does not build anymore

9

Hello, when trying to compile the package (using the latest version of idris), I am getting the following: idris --verbose --build sqlite.ipkg Entering directory `./src' gcc -c sqlite3api.c gcc -fPIC...

MarkusBarthlen