34 Commits

Author SHA1 Message Date
Andrew Gibiansky
cd7d6752b3 Adding documentation and removing Docker (for now) 2015-03-25 21:47:57 -07:00
Franklin Chen
c4d7619b8f Final (hopefully) fix of Linux installation scripts. 2015-03-24 02:11:58 -04:00
Vladimir Alekseichenko
bf6913dd48 return status code 0, even "ihaskell install" failed 2015-03-16 06:18:55 +01:00
Vladimir Alekseichenko
252fe06865 s/which/hash/ 2015-03-15 21:06:56 +01:00
Vladimir
a6c1cda978 added ihaskell install into build.sh 2015-03-15 20:13:42 +01:00
Andrew Gibiansky
c80ce6237f Changing IHaskell to ihaskell 2015-03-10 16:41:11 -07:00
Andrew Gibiansky
0fe412c22c Try reorder-goals and max-backjumps=-1 2015-03-06 21:45:24 -08:00
Andrew Gibiansky
b3e6755410 Fixing some syntax in build.sh 2015-03-06 21:24:27 -08:00
Andrew Gibiansky
d7f77baccb Only print the cabal commands from build.sh 2015-03-06 21:17:13 -08:00
Andrew Gibiansky
8379d79d0f Fixing minor build.sh bug 2015-03-06 21:12:51 -08:00
Andrew Gibiansky
145961046e Trying to build without diagrams being separate 2015-03-06 21:11:30 -08:00
Andrew Gibiansky
eac5b864a2 Fixes #412 by adding modes and cleaning up build.sh 2015-03-06 21:07:42 -08:00
Andrew Gibiansky
5c94631e23 Attempting to fix more build issues 2015-03-06 15:16:12 -08:00
Andrew Gibiansky
b6ae5f5862 Switching to bin/sh in build.sh 2015-03-06 14:31:28 -08:00
Andrew Gibiansky
8eaf1aa65d Merging jupyter branch into master 2015-03-06 12:52:38 -08:00
Franklin Chen
a77d792f9b On MacOS, build.sh installs arithmoi without llvm 2015-03-05 09:44:00 -05:00
Andrew Gibiansky
7a4f8e9676 Fixing kernelspec, removing traces of profile 2015-03-02 21:20:17 -08:00
Andrew Gibiansky
4eca3f2c9b Adding ipython-kernel to build.sh 2014-11-23 15:07:59 -08:00
Andrew Gibiansky
5ed129a079 removed ghci-lib from build.sh 2014-05-18 16:16:03 -07:00
Andrew Gibiansky
75cff70fe5 Added simple mechanism for updating profile versions automatically.
Closes #141.
2014-05-18 09:29:54 -07:00
Andrew Gibiansky
7995b53735 update build.sh to not do ipython kernel 2014-05-17 12:55:26 -07:00
Andrew Gibiansky
42d2493091 Adding types and scaffold for widgets. 2014-03-16 16:37:32 -07:00
Andrew Gibiansky
106fa9a365 Better error message if running build.sh from outside cabal dir 2014-03-09 12:10:37 -07:00
Greg Weber
30d24eec7c add Dockerfile. addresses #136 2014-03-08 20:03:22 -08:00
Andrew Gibiansky
95e15affc0 fixing build.sh 2014-02-28 21:16:15 -08:00
Andrew Gibiansky
3d75923992 added things to ghci-lib 2014-02-15 17:43:40 -08:00
Andrew Gibiansky
70ddc14f77 fixing comment removal within strings and such, closes #176 2014-02-06 22:34:39 -08:00
Andrew Gibiansky
071c56e5e1 build.sh has option 'all' now 2014-01-11 22:33:42 -07:00
Adam Vogt
7cda8c7ac5 build script set -e instead of || return 1 2014-01-08 23:54:52 -05:00
Andrew Gibiansky
d423acb37e splitting out all zmq-related things into ipython-kernel 2014-01-08 19:22:51 -05:00
Andrew Gibiansky
92361c93c2 fixing code mirror mode to ignore :! things 2014-01-06 13:26:32 -05:00
Andrew Gibiansky
7f23e743b7 fix build script and add pragma 2014-01-06 11:55:37 -05:00
Andrew Gibiansky
70f414f960 adding fix for #87, closes #87 2014-01-05 19:01:04 -05:00
Andrew Gibiansky
354cffca2a moving ihaskell-display and adding build script 2014-01-05 14:08:06 -05:00