commit: 15ac3589fcbf3b485e01ae988d5ab6d5df3fcb17
parent 84974786b137f3aed22a29132254b4ac81fa220a
Author: Michael Forney <mforney@mforney.org>
Date: Fri, 20 Mar 2020 14:52:19 -0700
Include headers and libraries with devel set
Diffstat:
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/.build.yml b/.build.yml
@@ -29,9 +29,13 @@ tasks:
cat >config.lua <<EOF
local sets = dofile 'sets.lua'
local set = os.getenv('SET')
+ local spec = {sets[set]}
+ if set ~= 'devel' then
+ spec.exclude = {'^include/', '^lib/.*%.a$'}
+ end
return {
builddir='out',
- fs={{sets[set], exclude={'^include/', '^lib/.*%.a$'}}},
+ fs={spec},
target={platform='x86_64-linux-musl', cflags='-O2 -pipe', ldflags='-s -static'},
host={cflags='-pipe', ldflags=''},
repo={path='$HOME/root-x86_64.git', flags='--bare', tag='tree', branch=set},