diff options
author | Vivien Kraus <vivien@planete-kraus.eu> | 2022-01-15 10:54:33 +0100 |
---|---|---|
committer | Vivien Kraus <vivien@planete-kraus.eu> | 2022-01-28 22:49:21 +0100 |
commit | 473095cfebc86ca09ccaedee142877bdfb9fd0d6 (patch) | |
tree | 2c76458651771469341836212b579e8fd1be362e /bootstrap |
Set up hall
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bootstrap b/bootstrap new file mode 100755 index 0000000..2aaba09 --- /dev/null +++ b/bootstrap @@ -0,0 +1,8 @@ +#!/usr/local/bin/guile -s +!# + +(add-to-load-path (dirname (current-filename))) + +(use-modules (disfluid build bootstrap)) + +(main) |