git.iko.soy/Idris-dev
on 7590fa0 help sign in
Idris-dev/test/ffi005/run
12 lines 223 B history raw
1#!/usr/bin/env bash
3idris $@ Postulate.idr -o postulate
4./postulate
5rm -f postulate *.ibc
7idris $@ Postulate2.idr -o postulate
8./postulate
9rm -f postulate *.ibc
11idris $@ Postulate3.idr -o postulate
12rm -f postulate *.ibc