diff options
Diffstat (limited to 'buildfile')
| -rw-r--r-- | buildfile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/buildfile b/buildfile new file mode 100644 index 0000000..0acb590 --- /dev/null +++ b/buildfile @@ -0,0 +1,20 @@ +# file : buildfile +# copyright : Copyright (c) 2016-2017 Code Synthesis Ltd +# license : GPLv2 with FOSS License Exception; see accompanying COPYING file + +# @@ REMOVE -tmp/ +# +./: {*/ -build/ -tmp/} doc{COPYING GPLv2 INSTALL README version} file{manifest} + +# The version file is auto-generated (by the version module) from manifest. +# Include it in distribution and don't remove when cleaning in src (so that +# clean results in a state identical to distributed). +# +doc{version}: file{manifest} +doc{version}: dist = true +doc{version}: clean = ($src_root != $out_root) + +# Don't install tests or the INSTALL file. +# +dir{tests/}: install = false +doc{INSTALL}@./: install = false |