1.1 --- a/lplc Thu Feb 23 16:39:02 2017 +0100
1.2 +++ b/lplc Fri Feb 24 00:02:46 2017 +0100
1.3 @@ -23,7 +23,7 @@
1.4
1.5 from errors import *
1.6 from os import environ, listdir, remove, rename
1.7 -from os.path import abspath, exists, isdir, isfile, join, split
1.8 +from os.path import abspath, exists, extsep, isdir, isfile, join, split
1.9 from pyparser import error
1.10 from subprocess import Popen, PIPE
1.11 from time import time
1.12 @@ -245,7 +245,7 @@
1.13
1.14 # Define the output data directories.
1.15
1.16 - datadir = "_lplc"
1.17 + datadir = "%s%s%s" % (output, extsep, "lplc") # _main.lplc by default
1.18 cache_dir = join(datadir, "_cache")
1.19 deduced_dir = join(datadir, "_deduced")
1.20 output_dir = join(datadir, "_output")