mirror of
https://github.com/tweag/asterius.git
synced 2024-09-11 08:55:32 +03:00
.. | ||
clean.sh | ||
gen-pkgs.hs | ||
ghcid.sh | ||
make-packages.py | ||
promise-spawn.patch | ||
readme.md | ||
reboot.sh | ||
test-pkgs.hs | ||
UserSettings.hs |
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 theghc-toolkit
andasterius
packages, removing the source & compiled objects of the boot libs.utils/ghcid.sh
: The script used byghcid
forasterius
; do not run it directly, instead just runghcid
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 astack build
ofasterius
, 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 inghc-toolkit/
or modify the IR/codegen ofasterius
, the boot cache may be out-of-sync so you need to run this script. Set theASTERIUS_DEBUG=1
environment variable to enable the IR dumps.