diff options
| author | Michael Forney <mforney@mforney.org> | 2020-03-20 14:52:19 -0700 |
|---|---|---|
| committer | Michael Forney <mforney@mforney.org> | 2020-03-20 14:52:19 -0700 |
| commit | 15ac3589fcbf3b485e01ae988d5ab6d5df3fcb17 (patch) | |
| tree | dafc7b99f72a0e22276b0682d31270f949287751 | |
| parent | 84974786b137f3aed22a29132254b4ac81fa220a (diff) | |
Include headers and libraries with devel set
| -rw-r--r-- | .build.yml | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -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}, |