ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-11 08:55:23 +03:00
Code Issues Projects Releases Wiki Activity
10,023 Commits 4 Branches 42 Tags 40 MiB
master
Commit Graph

4 Commits

Author SHA1 Message Date
Niklas Larsson
b64f0fd31b Remove curses dependency 2016-03-03 12:43:50 +01:00
Jan de Muijnck-Hughes
75236325c5 Saner set of suggested defaults for cabal flags. 
Following from observations seen on IRC, a set of alternate cabal
flags has been presented in `custom.mk-alldeps`. These flags ensure
that the build does not do profiling, nor build documentation. These
are useful optimisations for building Idris.
 2015-04-14 23:08:37 +01:00
David Raymond Christiansen
4257d6452a Automatically detect console width 
This can now be overridden with the :consolewidth command at the REPL or
in an init script.
 2014-02-02 19:04:46 +01:00
David Christiansen
76c7c9e19a Add example of custom.mk for building with both optional dependencies 2013-11-08 07:52:33 +01:00