aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore4
-rw-r--r--README-GIT5
-rw-r--r--odb/pgsql/buildfile6
-rw-r--r--odb/pgsql/version-build2.hxx0
4 files changed, 11 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore
index f7e2b5f..a06aa4b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,7 +29,3 @@
# Generated .gitignore files.
#
.gitignore
-
-# Temporarily here because of auto-generated odb/pgsql/.gitignore.
-#
-odb/pgsql/version-build2.hxx
diff --git a/README-GIT b/README-GIT
new file mode 100644
index 0000000..33dbf5f
--- /dev/null
+++ b/README-GIT
@@ -0,0 +1,5 @@
+The checked out odb/pgsql/version-build2.hxx will be overwritten during the
+build process but these changes should be ignored. To do this automatically,
+run:
+
+git update-index --assume-unchanged odb/pgsql/version-build2.hxx
diff --git a/odb/pgsql/buildfile b/odb/pgsql/buildfile
index 698d706..1f84db6 100644
--- a/odb/pgsql/buildfile
+++ b/odb/pgsql/buildfile
@@ -10,7 +10,13 @@ lib{odb-pgsql}: {hxx ixx txx cxx}{* -version-build2} {hxx}{version-build2} \
details/build2/{h}{*} \
$imp_libs $int_libs
+# 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-build2}: in{version-build2} $src_root/file{manifest}
+hxx{version-build2}: dist = true
+hxx{version-build2}: 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/odb/pgsql/version-build2.hxx b/odb/pgsql/version-build2.hxx
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/odb/pgsql/version-build2.hxx