diff options
author | Hisham Muhammad <hisham@gobolinux.org> | 2024-10-21 11:58:12 -0300 |
---|---|---|
committer | Hisham Muhammad <hisham@gobolinux.org> | 2024-10-21 13:30:51 -0300 |
commit | d1e854908ae9b8f20fa7209bcf8daed74e08fea0 (patch) | |
tree | 945d6096d6c198e274cbb0e3e412b6ebeeade38c /teal.sh | |
parent | 6c458fbfbf1c542036af2adf11f4311b0413f663 (diff) | |
download | luarocks-d1e854908ae9b8f20fa7209bcf8daed74e08fea0.tar.gz luarocks-d1e854908ae9b8f20fa7209bcf8daed74e08fea0.tar.bz2 luarocks-d1e854908ae9b8f20fa7209bcf8daed74e08fea0.zip |
Temporary script for rebuilding sources.
We will replace this with Cyan soon, since Cyan runs much
faster by rebuilding the project in one go using the module
dependency graph.
Diffstat (limited to 'teal.sh')
-rwxr-xr-x | teal.sh | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/teal.sh b/teal.sh new file mode 100755 index 00000000..86420139 --- /dev/null +++ b/teal.sh | |||
@@ -0,0 +1,31 @@ | |||
1 | #!/usr/bin/env bash | ||
2 | |||
3 | # Quick Teal build script while we don't have Cyan integration yet | ||
4 | |||
5 | cd $(dirname $0)/src | ||
6 | |||
7 | i=0 | ||
8 | for tealname in $(find . -name "*.tl" -not -name "*.d.tl") | ||
9 | do | ||
10 | luaname=$(echo $tealname | sed 's/.tl$/.lua/g') | ||
11 | if [ $tealname -nt $luaname ] || [ "$1" = "--all" ] | ||
12 | then | ||
13 | tl gen --check -I ../types $tealname -o $luaname | ||
14 | i=$[i+1] | ||
15 | fi | ||
16 | done | ||
17 | |||
18 | # Final message: | ||
19 | |||
20 | if [ "$1" = "--all" ] | ||
21 | then | ||
22 | what="rebuilt" | ||
23 | else | ||
24 | what="needed rebuilding" | ||
25 | fi | ||
26 | if [ "$i" = 1 ] | ||
27 | then | ||
28 | echo "$i file $what." | ||
29 | else | ||
30 | echo "$i files $what." | ||
31 | fi | ||