Config: Update config with new mage_fake7 solver and new mage path.

setup.py
Pierre-Antoine Rouby 2024-03-26 15:29:45 +01:00
parent b517c38cb9
commit 48aa5cb1aa
2 changed files with 25 additions and 3 deletions

View File

@ -1231,7 +1231,6 @@ class Mage8(Mage):
return results return results
class MageFake7(Mage8): class MageFake7(Mage8):
_type = "mage_fake7" _type = "mage_fake7"

View File

@ -37,7 +37,7 @@ logger = logging.getLogger()
class Config(SQL): class Config(SQL):
def __init__(self): def __init__(self):
self._version = '0.0.4' self._version = '0.0.5'
self.filename = Config.filename() self.filename = Config.filename()
self.set_default_value() self.set_default_value()
@ -132,6 +132,28 @@ class Config(SQL):
"VALUES ('last_solver_name', '')" "VALUES ('last_solver_name', '')"
) )
if int(release) < 5:
posix = os.name == 'posix'
ext = "" if posix else ".exe"
self.execute(
"UPDATE solver SET cmd_solver=" +
f"'@install_dir/mage8/mage{ext} @args @input' "
"WHERE name='default-mage'"
)
self.execute(f"""
INSERT INTO solver VALUES (
'mage_fake7',
'default-mage-fake-7',
'Default Pamhyr2 mage fake version 7',
'', '', '',
'',
'@install_dir/mage8/mage_as7{ext} @args @input',
''
)
""")
self.execute( self.execute(
f"UPDATE info SET value='{self._version}' " + f"UPDATE info SET value='{self._version}' " +
"WHERE key='version'" "WHERE key='version'"
@ -296,7 +318,8 @@ class Config(SQL):
ctor = solver_type_list["mage_fake7"] ctor = solver_type_list["mage_fake7"]
new = ctor("default-mage-fake-7") new = ctor("default-mage-fake-7")
new._description = "Default Pamhyr2 mage fake version 7" new._description = "Default Pamhyr2 mage fake version 7"
new._cmd_solver = f""""@install_dir/mage8/mage_as7{ext}" @args @input""" new._cmd_solver = f"""\
"@install_dir/mage8/mage_as7{ext}" @args @input"""
self._solvers.append(new) self._solvers.append(new)
# Backup # Backup