2014-11-05 13:32:11 +01:00
|
|
|
|
|
|
|
package=build_zsh
|
2019-08-28 16:51:13 +02:00
|
|
|
version=0.3.1
|
2014-11-05 13:32:11 +01:00
|
|
|
|
|
|
|
targets=(build.zsh)
|
|
|
|
type[build.zsh]=script
|
|
|
|
|
2015-04-06 23:00:08 +02:00
|
|
|
for i in build/*.zsh; do
|
|
|
|
targets+=($i)
|
|
|
|
type[$i]=script
|
|
|
|
install[$i]='$(SHAREDIR)/build.zsh'
|
2017-08-18 19:45:52 +02:00
|
|
|
# auto[$i]=true
|
2015-04-06 23:00:08 +02:00
|
|
|
done
|
|
|
|
|
2017-08-18 19:45:52 +02:00
|
|
|
dist=(build/*.zsh build.zsh.in project.zsh Makefile)
|
2014-11-05 13:32:11 +01:00
|
|
|
|