2014-04-01 04:33:06 +04:00
|
|
|
Idris (http://idris-lang.org/) is a general-purpose functional programming
|
2011-11-07 04:15:08 +04:00
|
|
|
language with dependent types.
|
|
|
|
|
2012-10-29 22:57:34 +04:00
|
|
|
To configure, edit config.mk. The default values should work for most people.
|
|
|
|
|
2011-11-07 04:15:08 +04:00
|
|
|
To install, type 'make'. This will install everything using cabal and
|
2013-02-25 18:16:07 +04:00
|
|
|
typecheck the libraries.
|
|
|
|
|
|
|
|
To run the tests, type 'make test' which will execute the test suite, and
|
2013-07-06 05:46:00 +04:00
|
|
|
'make relib', which will typecheck and recompile the standard library.
|
|
|
|
|
2014-09-24 17:54:48 +04:00
|
|
|
Idris has an optional buildtime dependency on the C library libffi. If you
|
|
|
|
would like to use the features that it enables, be sure it is are compiled
|
|
|
|
for the same architecture as your Haskell compiler (e.g. 64 bit libraries
|
|
|
|
for 64 bit ghc). By default, Idris builds without it. To build with it, pass
|
|
|
|
the flag -f FFI.
|
2013-11-08 10:51:41 +04:00
|
|
|
|
2014-09-24 17:54:48 +04:00
|
|
|
To build with libffi by default, create custom.mk or add the following line to it:
|
|
|
|
CABALFLAGS += -f FFI
|
2013-11-08 11:00:02 +04:00
|
|
|
The file custom.mk-alldeps is a suitable example.
|
2013-07-06 05:46:00 +04:00
|
|
|
|
2014-09-24 17:54:48 +04:00
|
|
|
The Idris wiki contains instructions for building on various platforms and for
|
|
|
|
getting involved with development. It is located at
|
|
|
|
https://github.com/idris-lang/Idris-dev/wiki .
|
|
|
|
|
|
|
|
Idris has support for external code generators. A C code generator
|
|
|
|
to compile executables, and a JavaScript code generator are supplied with the
|
|
|
|
distribution.
|
|
|
|
At the point of this writing, there is also a Java code generator and an
|
|
|
|
external repository with an llvm based code generator at
|
|
|
|
https://github.com/idris-hackers/idris-llvm.
|
2013-09-27 03:58:11 +04:00
|
|
|
|