X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=stdlib%2Fprelude.gl;h=f4ab20ee08f2615f78cf7c392727179bc99f448b;hb=a27fa75b6854fa3f75e34817cb0bf63646d644e4;hp=70c664c74358f434b5c45972456531ffa0208bcb;hpb=6afdc65fcdb592dccb751849f65b1f482ef97cd6;p=goals.git diff --git a/stdlib/prelude.gl b/stdlib/prelude.gl index 70c664c..f4ab20e 100644 --- a/stdlib/prelude.gl +++ b/stdlib/prelude.gl @@ -17,22 +17,47 @@ # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. # This file is included first and automatically in all Goalfiles -# (unless you use --no-prelude). It contains standard goals and +# (unless you use --no-prelude). It contains standard functions and # tactics. # The only tactic that ‘make’ has. -tactic *file (filename) = { +tactic *file (filename) = @{ # Rebuild if the target file doesn't exist at all. test -f %filename || exit 99 # Otherwise rebuild if it is older than any dependency. for f in %<; do - test %filename -ot "$f" && exit 99 || exit 0 + test %filename -ot "$f" && exit 99 ||: done } # This is a simpler tactic than the above since it will # rebuild if the file is missing, but not if it is older. -tactic *exists (filename) = { +tactic *exists (filename) = @{ test -f %filename || exit 99 } + +#---------------------------------------------------------------------- +# Text functions. + +# Sort + uniq a list. +pure function sort (xs) returning strings = @{ + for f in %xs; do echo "$f"; done | sort -u +} + +#---------------------------------------------------------------------- +# File functions. + +# Expand a wildcard into a list of filenames. +# +# This function is probably not "pure" since it depends on the +# current working directory and also files may be created in +# the directory while goals is running which would affect the +# result. +function wildcard (wc) returning strings = @{ + shopt -s nullglob + # Note that the substitution is quoted by goals, so to expand + # it we must assign it to a variable and then use it unquoted. + wc=%wc + for f in $wc; do echo "$f"; done +}