From 0987fde8e71b28c392c505332091ebf02e84f5c1 Mon Sep 17 00:00:00 2001 From: Bruce Hill Date: Mon, 18 Dec 2017 16:45:46 -0800 Subject: Improved documentation and compile script. --- compile_lib.sh | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'compile_lib.sh') diff --git a/compile_lib.sh b/compile_lib.sh index 27be682..802fcf0 100755 --- a/compile_lib.sh +++ b/compile_lib.sh @@ -1,4 +1,6 @@ #!/bin/sh +# This file is a script that converts the .nom files in lib/ into slightly more optimized +# precompiled versions that are only lua> ".." and =lua ".." bits which are faster to load. FLUSH=false while getopts ":f" opt; do case $opt in @@ -9,15 +11,15 @@ while getopts ":f" opt; do esac done if [ "$FLUSH" = true ] ; then - for file in $(find lib/ -name "*.nom.lua") ; do + for file in $(find lib/ -name "*compiled.nom") ; do rm $file done fi -for file in $(cat compile_order.txt) ; do - luafile="$file.lua" - if [ ! -e "$luafile" ] || [ "$file" -nt "$luafile" ] ; then - echo "Compiling $file into $luafile" +for file in $(cat lib/core.nom | lua -e "for filename in io.read('*a'):gmatch('require \"([^\"]*)\"') do print(filename) end") ; do + compilefile="${file/\.nom/.compiled.nom}" + if [ ! -e "$compilefile" ] || [ "$file" -nt "$compilefile" ] ; then + echo "Compiling $file into $compilefile" ./nomsu.moon -c $file fi done -- cgit v1.2.3