tweag/asterius
1
1
Fork 0
mirror of https://github.com/tweag/asterius.git synced 2024-09-11 08:55:32 +03:00
Code Issues Projects Releases Wiki Activity
ylecornec/bazel_build
asterius/utils
History
Yves-Stan Le Cornec 5de2615fa3 WIP: Add bazel build files
2021-10-25 13:32:55 +02:00
..
clean.sh Toolchain update (#648) 2020-05-15 03:53:02 +02:00
gen-pkgs.hs Toolchain update (#850) 2021-01-15 18:32:31 +01:00
ghcid.sh Get rid of npm-utils (#688) 2020-06-18 16:40:09 +02:00
make-packages.py WIP: Add bazel build files 2021-10-25 13:32:55 +02:00
promise-spawn.patch Toolchain update (#823) 2020-11-23 20:56:35 +01:00
readme.md Fix incorrect --prefix flags which are incompatible with #761 (#762) 2020-08-26 02:38:22 +02:00
reboot.sh Toolchain update (#648) 2020-05-15 03:53:02 +02:00
test-pkgs.hs Fix incorrect --prefix flags which are incompatible with #761 (#762) 2020-08-26 02:38:22 +02:00
UserSettings.hs Use private GHC API packages and support building Asterius with vanilla GHC (#812) 2020-11-06 19:04:37 +01:00

readme.md

Util scripts

This directory contains util scripts for hacking on asterius.

Shell scripts

These scripts are meant to be called at the project root directory.

  • utils/clean.sh: Clean up the ghc-toolkit and asterius packages, removing the source & compiled objects of the boot libs.
  • utils/ghcid.sh: The script used by ghcid for asterius; do not run it directly, instead just run ghcid from the project root directory. Modify the script to add the source of an executable/test target when needed. This doesn't require a previous boot, but does require a stack build of asterius, even if it fails midway.
  • utils/reboot.sh: Do the cleanup, rebuild and reboot, using all CPU cores. If you touch the source of boot libs in ghc-toolkit/ or modify the IR/codegen of asterius, the boot cache may be out-of-sync so you need to run this script. Set the ASTERIUS_DEBUG=1 environment variable to enable the IR dumps.