artemist/mes
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

scripts: Allow running with any mes.

Browse source 
* scripts/mescc.mes: Run $MES if set, default to ../scripts/mes.
* scripts/repl.mes: Likewise.
This commit is contained in:
Jan Nieuwenhuizen 2017-03-26 22:09:24 +02:00
parent 773efafd8f
commit a226588a5e
2 changed files with 5 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
scripts/mescc.mes
View file

@ -1,7 +1,8 @@
#! /bin/sh #! /bin/sh
# -*-scheme-*- # -*-scheme-*-
MES=${MES-$(dirname $0)/mes}
prefix=module/ prefix=module/
echo '()' | cat $prefix/mes/base-0.mes $0 /dev/stdin | $(dirname $0)/mes $MES_FLAGS "$@" echo '()' | cat $prefix/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS "$@"
#paredit:|| #paredit:||
chmod +x a.out chmod +x a.out
exit $? exit $?

5
scripts/repl.mes
View file

@ -1,9 +1,10 @@
#! /bin/sh #! /bin/sh
# -*-scheme-*- # -*-scheme-*-
MES_ARENA=${MES_ARENA-20000000} MES=${MES-$(dirname $0)/mes}
MES_ARENA=${MES_ARENA-30000000}
export MES_ARENA export MES_ARENA
prefix=module/ prefix=module/
cat $prefix/mes/base-0.mes $0 /dev/stdin | $(dirname $0)/mes $MES_FLAGS "$@" cat $prefix/mes/base-0.mes $0 /dev/stdin | $MES $MES_FLAGS "$@"
#paredit:| #paredit:|
exit $? exit $?
!# !#