diff --git a/src/config.py b/src/config.py index 1209cc16..db7a1d0b 100644 --- a/src/config.py +++ b/src/config.py @@ -37,7 +37,7 @@ logger = logging.getLogger() class Config(SQL): def __init__(self): - self._version = '0.0.5' + self._version = '0.0.6' self.filename = Config.filename() self.set_default_value() @@ -153,6 +153,29 @@ class Config(SQL): '' ) """) + if int(release) < 6: + posix = os.name == 'posix' + ext = "" if posix else ".exe" + + + self.execute(f""" + INSERT INTO solver VALUES ( + 'adistswc', + 'default-AdisTS', + 'Default Pamhyr2 AdisTS version', + + '', '', '', + + '', + '@install_dir/adists/adists{ext} @args @input', + '' + ) + """) + self.execute( + "UPDATE solver SET cmd_solver=" + + f"'@install_dir/adists/adists{ext} @args @input' " + "WHERE name='default-AdisTS'" + ) self.execute( f"UPDATE info SET value='{self._version}' " + @@ -319,6 +342,13 @@ class Config(SQL): new._cmd_solver = f""""@install_dir/mage8/mage{ext}" @args @input""" self._solvers.append(new) + # AdisTS + ctor = solver_type_list["adistswc"] + new = ctor("default-AdisTS") + new._description = "Default Pamhyr2 AdisTS version" + new._cmd_solver = f""""@install_dir/adists/adists{ext}" @args @input""" + self._solvers.append(new) + # Mage fake 7 # ctor = solver_type_list["mage_fake7"] # new = ctor("default-mage-fake-7")