Mathew Polzin
ac266b73f8
Separate support derivation (and small related tweaks to the Makefile) ( #3172 )
2023-12-27 08:14:03 -06:00
Kamil Shakirov
73733f03ff
Cleanup after rebase
2022-11-15 16:38:13 +01:00
Kamil Shakirov
8ebec8ebae
Make linter happy
2022-11-15 16:38:13 +01:00
Kamil Shakirov
7c6ab4e1b6
Do not use IDRIS2_BOOT_PATH in bootstrap-stage2.sh
...
It is not needed as bootstrapped intermediate version knows where to find import files.
`IDRIS2_BOOT_PATH` wasn't pointing to the correct directories anyways.
2022-11-15 16:38:13 +01:00
G. Allais
1f3809c49a
[ re #2675 ] Do not build libs/{contribs,papers} during bootstrap ( #2677 )
...
Co-authored-by: Ben Hormann <benhormann@users.noreply.github.com>
2022-10-04 13:37:45 +01:00
Ben Hormann
74db7714d4
[fix] Loading libidris2_support.dll with Racket ( #1583 )
2021-07-21 14:35:21 +01:00
Stiopa Koltsov
afaf416673
Write files into bootstrap-build directory during bootstrap
...
... instead of `bootstrap` which contains source files. Make it easier to understand
how build works, and in particular, which files are sources and
which files are generated.
2021-07-04 03:17:13 +01:00
Kamiλ Shakirov
2ac4bea220
[ install ] Check if 'realpath' exists for Chez and Racket backends ( #1210 )
2021-04-06 15:42:04 +01:00
Mathew Polzin
06586d401a
Add a test package to the Idris 2 project ( #1162 )
2021-03-09 18:27:05 +00:00
Fabián Heredia Montiel
b81b390f20
Refactor bootstrap and CI action to speedup CI
2021-01-27 20:39:42 +00:00
