Problems with using different versions of `stack`
In some situations, the compilation with KiCS2 fails since stack
seems to try re-compiling its database.
For instance, login to giscours.informatik.uni-kiel.de
and use KiCS2:
giscours:~ 2001> /opt/kics2/kics3/bin/kics2
_ _ ____ ___ ___ ___
( )/ )(_ _)/ __)/ __)(__ \
) ( _)(_( (__ \__ \ / _/
(_)\_)(____)\___)(___/(____)
Version 3.0.0-b3 of 2022-09-05 (installed at Mon Sep 5 14:54:29 CEST 2022)
Type ":h" for help (contact: kics2@curry-lang.org)
Prelude> 3+4
[1 of 2] Skipping Prelude ( /net/medoc/home/kics2/debian-10-amd64/kics3/lib/Prelude.curry, /net/medoc/home/kics2/debian-10-amd64/kics3/lib/.curry/kics2-3.0.0/Prelude.fcy )
[2 of 2] Compiling Curry_Main_Goal ( Curry_Main_Goal.curry, .curry/kics2-3.0.0/Curry_Main_Goal.fcy )
Encountered error while migrating Pantry database:
SQLite3 returned ErrorReadOnly while attempting to perform step: attempt to write a readonly database
Please report this on https://github.com/commercialhaskell/stack/issues
As a workaround you may delete Pantry database in /net/medoc/home/kics2/debian-10-amd64/kics3/.stack/pantry/pantry.sqlite3 triggering its recreation.
Prelude>
The possible reason for this failure is that the global installation of KiCS2 was compiled on bellecombe with stack version 2.5, but on giscours stack version 2.9 is installed. Is there any way to avoid migrating the database? Otherwise, one has to ensure that the stack version for installation and usage of KiCS2 must identical or compatible (whatever this means).