diff options
Diffstat (limited to 'libbrep')
| -rw-r--r-- | libbrep/.gitignore | 2 | ||||
| -rw-r--r-- | libbrep/buildfile | 6 | ||||
| -rw-r--r-- | libbrep/version.hxx | 0 |
3 files changed, 6 insertions, 2 deletions
diff --git a/libbrep/.gitignore b/libbrep/.gitignore index 48fba7b..1fbfc28 100644 --- a/libbrep/.gitignore +++ b/libbrep/.gitignore @@ -8,5 +8,3 @@ build-odb.?xx build-package-odb.?xx build.sql build-extra.hxx - -version.hxx diff --git a/libbrep/buildfile b/libbrep/buildfile index e222ec4..7ca4623 100644 --- a/libbrep/buildfile +++ b/libbrep/buildfile @@ -25,7 +25,13 @@ libs{brep}: \ {hxx ixx cxx}{common-odb package-odb build-odb build-package-odb} \ $int_libs xml{*} sql{*} +# Include the generated version header into the distribution (so that we don't +# pick up an installed one) and don't remove it when cleaning in src (so that +# clean results in a state identical to distributed). +# hxx{version}: in{version} $src_root/file{manifest} +hxx{version}: dist = true +hxx{version}: clean = ($src_root != $out_root) # For pre-releases use the complete version to make sure they cannot be used # in place of another pre-release or the final version. diff --git a/libbrep/version.hxx b/libbrep/version.hxx new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/libbrep/version.hxx |