idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-11 06:14:41 +03:00
Code Issues Projects Releases Wiki Activity
2,869 Commits 5 Branches 9 Tags 109 MiB
492abf7743
Commit Graph

55 Commits

Author SHA1 Message Date
toyboot4e
17e67e65d4 [ typo ] In INSTALL.md 2021-10-23 15:16:23 +01:00
Kamiλ Shakirov
2428b356f4
[ install, docs ] Add a new makefile target to install libdocs (#1884) 2021-08-31 18:41:03 +01:00
Guillaume ALLAIS
79177a70ea [ fix #1788 ] Only mention building using the previous version 
We only ensure using CI that Idris can be built using the previous
released version so let's not claim in the docs you can use any old
one.
 2021-08-30 17:11:17 +01:00
Mathew Polzin
52cc1554e3 get a bit more specific about the GMP library requirement. 2021-07-30 23:10:59 -07:00
Kamiλ Shakirov
0d03064663
Include GMP in the requirement list 2021-07-27 00:25:57 +06:00
Kamil Shakirov
c4b41ee1ff Remove all mentions of realpath from docs 
`realpath` is no longer needed to run executables.
 2021-07-16 21:20:11 +06:00
claymager
594cb0039c
Nix fixes (#1623) 2021-06-28 11:47:47 +01:00
Edwin Brady
84c2a497bc Add incremental compilation note to INSTALL.md 2021-06-27 16:35:43 +01:00
I B 3
da21f0477a Add note to INSTALL.md re: PREFIX being an absolute path 2021-06-18 11:07:53 +01:00
Kamiλ Shakirov
ad656a8d47
Remove realpath (#1457) 2021-05-25 11:01:28 +01:00
stefan-hoeck
2a57f1ca33 [ doc ] instructions for activating tab completion 2021-05-13 18:04:20 +01:00
Ohad Kammar
e130ee33f4 [doc] Minor tweaks to installation instructions 2021-04-19 14:24:06 +01:00
Guilherme Silva
4144510bb3
Added new nix functionalities (#1154) 2021-03-15 14:21:50 +00:00
stefan-hoeck
29a6aa45e0 fixed whitespace for *.md and .rst files 2021-01-22 15:08:49 +00:00
RJ Regenold
1a6f2bb49b adds command for self-hosting when using racket 2021-01-21 11:50:59 +00:00
Guilherme Silva
7a7504c956
Added nix files (#855) 2021-01-15 17:20:52 +00:00
Edwin Brady
b35268b774 Update version numbers and bootstrap code 2021-01-13 12:46:06 +00:00
Edwin Brady
0f714f68e0 Compatibility fixes 
For compatibility with previous library verions, so that we can build
with 0.2.1(+patches) as well as bootstrapping.
 2020-12-29 16:36:12 +00:00
Lynn
681c1bf10f Install hint for Apple Silicon (closes #836) 2020-12-18 15:07:35 +00:00
David Thrane Christiansen
a101f5e8e7
Add instructions about thread support in Chez Scheme to INSTALL.md 
I encountered a difficult-to-diagnose error while bootstrapping Idris 2, and these instructions fixed it for me.
 2020-08-18 18:01:14 -07:00
Kamil Shakirov
68bd8bba52 More post-Idris2-boot cleanups 2020-08-17 13:16:22 +06:00
Wanja Chresta
14086fa1dd Add installation instructions for nix 2020-08-04 12:25:49 +01:00
SmiVan
3c051f3375 Amend typo in INSTALL.md 2020-07-09 11:58:53 +01:00
André Videla
5996361488
Update INSTALL.md 
Fix typo on INSTALL.md
 2020-07-01 18:15:49 +01:00
Dario Vladovic
cc61d4d3d8
Add Homebrew installation instructions 2020-06-21 13:37:36 +02:00
Kamil Shakirov
4f0c262ddc Add support for OpenBSD 
and probably for other *BSD operating systems with minor tweaks
 2020-06-17 15:14:54 +06:00
Edwin Brady
8f80e77678
Merge pull request #122 from keram/install-impro-v2 
Add additional information on requirements in INSTALL.md
 2020-06-08 10:16:40 +01:00
Thomas Lin
fc8e6b1fef Use GetSystemTimeAsFileTime on older Windows 2020-06-02 10:30:44 +08:00
Marek
f1daf427b5 Add note to INSTALL.md about Chez thread support requirement when 
building Chez Scheme locally from source and
improve formatting of first paragraphs

```
Compiling idris2_app/idris2-boot.ss with output to
idris2_app/idris2-boot.so
Exception: attempt to reference unbound identifier
make-thread-parameter at line 171, char 30 of idris2_app/idris2-boot.ss
```
 2020-05-28 20:09:43 +01:00
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