diff options
Diffstat (limited to 'docker/config.lua')
| -rw-r--r-- | docker/config.lua | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docker/config.lua b/docker/config.lua new file mode 100644 index 00000000..21774e42 --- /dev/null +++ b/docker/config.lua @@ -0,0 +1,13 @@ +local sets = dofile 'sets.lua' +return { + builddir='out', + fs={ + { + sets.core, sets.extra, sets.desktop, sets.media, + exclude={'^include/', '^lib/.*%.a$'}, + }, + }, + target={toolchain='default', cflags='-O2 -pipe -U _FORTIFY_SOURCE', cxxflags='', ldflags='-s -static', pie=true}, + host={toolchain='default', cflags='-O2 -pipe', cxxflags='', ldflags='-s'}, + repo={path='$builddir/root.git', flags='--bare', tag='tree', branch='oasis'}, +} |