Edwin Brady
ad9a2a187f
Fix Char casting
...
For the same behaviour as Idris 1, the primitive cast should return 0 if
the integer is out of bounds. (We should probably drop the Cast
implementation though, since ideally they won't be lossy in general, but
that's an issue for another time...)
All the tests pass in racket now, for me.
2020-05-23 22:19:10 +01:00
Edwin Brady
0d5c709fc6
Add IDRIS2_CG environment variable
...
This allows setting code generators globally, which makes building with
alternative back ends smoother.
2020-05-23 19:03:56 +01:00
Edwin Brady
0cd484fa09
Add idris2api.ipkg
...
This is a small variation that installs all the modules as a library,
which could be used by external tools, eg fancy REPLs, code generators,
etcs.
2020-05-20 16:38:46 +01:00
Jan de Muijnck-Hughes
f595ce3ef1
Update INSTALL.md
2020-05-20 15:01:19 +01:00
Edwin Brady
451ed0f213
Update Makefile
...
Remove all idris2sh so that travis and the bootstrap scripts look in the
right place
2020-05-20 14:19:06 +01:00
Edwin Brady
9cc4cba065
Change executable name
...
I think we can be the official Idris2 now
2020-05-20 13:31:04 +01:00
Edwin Brady
ae7bdaa7d3
Merge branch 'master' into misc-fixes
2020-05-20 11:46:28 +01:00
Edwin Brady
99e0976b75
Some updates in INSTALL.md
...
Hopefully clearer now.
2020-05-20 11:40:27 +01:00
Kamil Shakirov
38b4fe6aca
Merge branch 'master' into misc-fixes
2020-05-20 15:45:55 +06:00
Edwin Brady
65f7fb6ab8
Minor edit to bootstrap script
...
It's better if the tests aren't interactive, since they're intended for
running on CI as well as to give an idea of whether building was
successful, rather than to give an idea of what has gone wrong.
2020-05-20 10:38:56 +01:00
Kamil Shakirov
880981d5b4
More fixes and improvements
...
* Ignore build artifacts in 'tests' directory
* Remove unused variables in makefiles
* Add 'bootstrap-clean' rule to delete build artifacts from 'bootstrap' directory
* Add 'distclean' rule to delete all build artifacts from the source tree
2020-05-20 15:31:30 +06:00
Edwin Brady
5b88afb3ef
Add racket bootstrap script
2020-05-19 22:56:27 +01:00
Edwin Brady
ddd3ff151d
Fix up bootstrap scripts
...
They weren't quite right; I've now successfully built from the script on
a machine with only Chez available.
2020-05-19 21:39:36 +01:00
Edwin Brady
7defc40c47
Better bootstrapping process
2020-05-19 21:08:32 +01:00
Edwin Brady
9213b65ee1
Update INSTALL.md
...
make clean does a better job than just cleaning the build directories
2020-05-19 20:31:04 +01:00
Edwin Brady
bd6a4903b5
Finish tests
2020-05-19 20:06:37 +01:00
Edwin Brady
48c6c4aa81
Write Ints as 64 bit
...
Since they might be... This is especially likely for module hashes, and
if we don't get it right, the Racket runtime might fail to write the
buffer. This makes the code buildable with the Racket back end.
2020-05-19 16:25:58 +01:00
Edwin Brady
e945cb88f2
Typo fix
2020-05-18 23:34:56 +01:00
Edwin Brady
0bbda746d2
Update README/typo in INSTALL
2020-05-18 23:31:25 +01:00
Edwin Brady
3634ec76b7
Finish bootstrap scripts
...
I got this working on my Mac, which doesn't have Idris 2 of any form
installed. So it might work... good luck!
2020-05-18 21:18:32 +01:00
Edwin Brady
1f3c557889
Fiddle about with bootstrap scripts
...
Not quite there, but nearly
2020-05-18 18:02:56 +01:00
Edwin Brady
9619c4aaae
Still tinkering with bootstrap process
2020-05-18 16:15:02 +01:00
Edwin Brady
6b8620c43d
Install proper support library
2020-05-18 16:06:44 +01:00
Edwin Brady
155dddb5f3
Another attempt at making the bootstrap step work
2020-05-18 16:02:30 +01:00
Edwin Brady
0db7e883d2
Tweak INSTALL.md
2020-05-18 14:45:12 +01:00
Edwin Brady
555f522ad0
Add bootstrapping instructions
...
Added a known good scheme output which can be used to start the
bootstrapping process.
2020-05-18 14:43:12 +01:00
