Merge branch 'master' into doc/enhance-require-deps

Author: Vasileios Karakasis

bin/reframe

@@ -8,7 +8,9 @@
 import os
 import sys
 
-prefix = os.path.join(os.path.abspath(os.path.dirname(__file__)), '..')
+prefix = os.path.normpath(
+    os.path.join(os.path.abspath(os.path.dirname(__file__)), '..')
+)
 external = os.path.join(prefix, 'external')
 sys.path = [prefix, external] + sys.path
 

reframe/__init__.py

@@ -8,7 +8,9 @@
 
 
 VERSION = '3.1-dev1'
-INSTALL_PREFIX = os.path.abspath(os.path.join(os.path.dirname(__file__), '..'))
+INSTALL_PREFIX = os.path.normpath(
+    os.path.abspath(os.path.join(os.path.dirname(__file__), '..'))
+)
 MIN_PYTHON_VERSION = (3, 6, 0)
 
 # Check python version