Idris2/bootstrap/idris2-boot

mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 16:51:51 +03:00
#!/bin/sh

export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:`dirname $0`/"idris2-boot_app""
`dirname $0`/"idris2-boot_app/idris2sh.so" "$@"
Add bootstrapping instructions Added a known good scheme output which can be used to start the bootstrapping process. 2020-05-18 16:43:12 +03:00			`#!/bin/sh`

			export LD_LIBRARY_PATH="$LD_LIBRARY_PATH:`dirname $0`/"idris2-boot_app""
			`dirname $0`/"idris2-boot_app/idris2sh.so" "$@"