1 # Goals stdlib prelude.
2 # Copyright (C) 2019 Richard W.M. Jones
3 # Copyright (C) 2019 Red Hat Inc.
5 # This program is free software; you can redistribute it and/or modify
6 # it under the terms of the GNU General Public License as published by
7 # the Free Software Foundation; either version 2 of the License, or
8 # (at your option) any later version.
10 # This program is distributed in the hope that it will be useful,
11 # but WITHOUT ANY WARRANTY; without even the implied warranty of
12 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
13 # GNU General Public License for more details.
15 # You should have received a copy of the GNU General Public License along
16 # with this program; if not, write to the Free Software Foundation, Inc.,
17 # 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
19 # This file is included first and automatically in all Goalfiles
20 # (unless you use --no-prelude). It contains standard functions and
23 # The only tactic that ‘make’ has.
24 tactic *file (filename) = @{
25 # Rebuild if the target file doesn't exist at all.
26 test -f %filename || exit 99
28 # Otherwise rebuild if it is older than any dependency.
30 test %filename -ot "$f" && exit 99 ||:
34 # This is a simpler tactic than the above since it will
35 # rebuild if the file is missing, but not if it is older.
36 tactic *exists (filename) = @{
37 test -f %filename || exit 99
40 #----------------------------------------------------------------------
43 # Wrap list of strings in a call or tactic.
44 pure function wrap (wrapper, xs) = @{
54 #----------------------------------------------------------------------
58 pure function sort (xs) returning strings = @{
59 for f in %xs; do echo "$f"; done | sort -u
63 pure function subst (from, to, text) returning string = @{
64 # We need to replace any / characters in ‘to’ with escaped ones.
65 to="$( echo -n %to | sed 's,/,\\/,g' )"
66 echo %text | sed -E s/%from/$to/g
69 #----------------------------------------------------------------------
73 pure function basename (name) returning string = @{
78 pure function dirname (name) returning string = @{
83 pure function extension (name) returning string = @{
88 # Expand a wildcard into a list of filenames.
90 # This function is probably not "pure" since it depends on the
91 # current working directory and also files may be created in
92 # the directory while goals is running which would affect the
94 function wildcard (wc) returning strings = @{
96 # Note that the substitution is quoted by goals, so to expand
97 # it we must assign it to a variable and then use it unquoted.
99 for f in $wc; do echo "$f"; done