diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2017-11-02 23:11:29 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2017-11-21 13:51:37 +0300 |
commit | b1471ebbe9db90c472ff356bea6a7c8aedb45db9 (patch) | |
tree | a3494b3c2ca9a3529588c4da6e52d9040722a404 /buildfile | |
parent | 4bce3c574df293415c7b2f45b9c2951262fe3412 (diff) |
Add implementation
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 |