mirror of
https://github.com/idris-lang/Idris2.git
synced 2024-12-25 20:51:43 +03:00
3634ec76b7
I got this working on my Mac, which doesn't have Idris 2 of any form installed. So it might work... good luck!
10 lines
207 B
Bash
Executable File
10 lines
207 B
Bash
Executable File
#!/bin/sh
|
|
|
|
cd bootstrap
|
|
${SCHEME} --script compile.ss
|
|
|
|
mkdir -p ../build/exec
|
|
mkdir -p ../build/exec/idris2sh_app
|
|
install idris2-boot ../build/exec/idris2sh
|
|
install idris2sh_app/* ../build/exec/idris2sh_app
|