45 lines
947 B
YAML
45 lines
947 B
YAML
id: "idris"
|
|
aliases:
|
|
- "idr"
|
|
- "idris2"
|
|
name: "Idris"
|
|
|
|
install:
|
|
prepare:
|
|
apt:
|
|
- chezscheme
|
|
apt:
|
|
- chezscheme
|
|
manual: |
|
|
install -d "${pkg}/usr/local/bin"
|
|
|
|
wget https://www.idris-lang.org/idris2-src/idris2-latest.tgz
|
|
mkdir idris
|
|
tar -xf idris2-latest.tgz -C idris --strip-components=1
|
|
pushd idris
|
|
make bootstrap-build SCHEME=chezscheme PREFIX=/usr/local
|
|
sudo make install PREFIX=/usr/local
|
|
sudo mv /usr/local/idris* "${pkg}/usr/local/"
|
|
sudo mv /usr/local/bin/idris* "${pkg}/usr/local/bin/"
|
|
sudo chown -R riju:riju "${pkg}/usr/local"
|
|
chmod -R a=u,go-w "${pkg}/usr/local"/idris*
|
|
popd
|
|
|
|
repl: |
|
|
rm -f .idris/repl/init; idris2
|
|
|
|
main: "Main.idr"
|
|
template: |
|
|
module Main
|
|
|
|
main : IO ()
|
|
main = putStrLn "Hello, world!"
|
|
|
|
run: |
|
|
mkdir -p .idris/repl; echo ':exec main' > .idris/repl/init; idris2 Main.idr -x main; idris2 Main.idr
|
|
|
|
scope:
|
|
code: |
|
|
x : Int
|
|
x = 123 * 234
|