aboutsummaryrefslogtreecommitdiff
path: root/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'conf.py')
-rw-r--r--conf.py12
1 files changed, 6 insertions, 6 deletions
diff --git a/conf.py b/conf.py
index c2f1902..b4b8179 100644
--- a/conf.py
+++ b/conf.py
@@ -127,12 +127,15 @@ picosat = 'scripts/picosat-959/picosat'
allconfig = 'scripts/allconfig/allconfig'
#######################################
+absroot = os.path.dirname(os.path.realpath(__file__))
+
+#######################################
# Overlap configuration for specified target
-if os.path.isfile('.target'):
+if os.path.isfile(os.path.join(absroot, '.target')):
target = None
- with open('.target', 'r') as f:
+ with open(os.path.join(absroot, '.target'), 'r') as f:
target = f.readline().rstrip()
- conffile = os.path.join('targets', target, 'conf.py')
+ conffile = os.path.join(absroot, 'targets', target, 'conf.py')
if os.path.isfile(conffile):
ovconf = importlib.machinery.SourceFileLoader("module.name", conffile).load_module()
for name in dir(ovconf):
@@ -142,6 +145,3 @@ if os.path.isfile('.target'):
print("W: No target specifier. Write target to .target file.")
else:
print("W: No target specifier. Write target to .target file.")
-
-#######################################
-absroot = os.path.dirname(os.path.realpath(__file__))