From 89edd8f3a995b47d1ae4f63639a82b00247b2b0c Mon Sep 17 00:00:00 2001
From: Alexander Afanasyev <aa@cs.fiu.edu>
Date: Mon, 1 Jun 2020 18:58:54 -0400
Subject: [PATCH] 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: I156cb3a49d3ee2139c1c830eaa8b20be00c3fb98
---
 .gitignore | 2 +-
 wscript    | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/.gitignore b/.gitignore
index b1d7223..6ff803e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,4 +29,4 @@ __pycache__/
 *.py[cod]
 
 # Other
-/VERSION
+/VERSION.info
diff --git a/wscript b/wscript
index f419f5d..648a8f8 100644
--- a/wscript
+++ b/wscript
@@ -163,7 +163,7 @@ def version(ctx):
     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()
@@ -180,7 +180,7 @@ def version(ctx):
         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)