mirror of
https://github.com/idris-lang/Idris2.git
synced 2025-01-09 01:12:28 +03:00
15 lines
392 B
Bash
Executable File
15 lines
392 B
Bash
Executable File
#!/bin/sh
|
|
|
|
make support
|
|
cp support/c/$IDRIS2_SUPPORT bootstrap/idris2-boot_app
|
|
|
|
cd bootstrap
|
|
|
|
sed s/libidris2_support.so/$IDRIS2_SUPPORT/g idris2-boot_app/idris2sh.ss > idris2-boot_app/idris2-boot.ss
|
|
${SCHEME} --script compile.ss
|
|
|
|
mkdir -p ../build/exec
|
|
mkdir -p ../build/exec/idris2-boot_app
|
|
install idris2-boot ../build/exec/idris2sh
|
|
install idris2-boot_app/* ../build/exec/idris2-boot_app
|