commit 675d6fb21088aba8e4181c40b5ddcbaeba55d2a8
author Alexander Afanasyev <aa@cs.fiu.edu> Mon Jun 01 18:55:17 2020 -0400
committer Davide Pesavento <davidepesa@gmail.com> Mon Jun 01 18:55:17 2020 -0400
tree 672cd281495a313f52b0080ae9d3203087ca5078
parent dbee9bf49a5146a2e177dc5d53d2dbb6167aeb40

Rename VERSION to VERSION.info to avoid conflicts with modern STL

On case-insensitive file systems (e.g., macOS), inclusion of the new
standard <version> header resulted in unexpected inclusion of VERSION
file.

Change-Id: I7f8dd4703c76e833797135b980bbcc6c2e97bcef

wscript

diff --git a/wscript b/wscript
index cdd0470..848dbf1 100644
--- a/wscript
+++ b/wscript
@@ -143,7 +143,7 @@
     except (OSError, subprocess.CalledProcessError):
         pass
 
-    versionFile = ctx.path.find_node('VERSION')
+    versionFile = ctx.path.find_node('VERSION.info')
     if not gotVersionFromGit and versionFile is not None:
         try:
             Context.g_module.VERSION = versionFile.read()
@@ -160,7 +160,7 @@
         except EnvironmentError as e:
             Logs.warn('%s exists but is not readable (%s)' % (versionFile, e.strerror))
     else:
-        versionFile = ctx.path.make_node('VERSION')
+        versionFile = ctx.path.make_node('VERSION.info')
 
     try:
         versionFile.write(Context.g_module.VERSION)