On 30/11/2018 14:15, Jonathon Fernyhough wrote: > > I'm currently packaging Isabelle2018 (in deb format) for deployment to > several machines. These packages should contain some default heaps so > users can get on with what they're doing and avoid duplicating hundreds > of megabytes of data across user profiles. > > I'm trying to automate the heap build process using the debian/rules > file in the "standard" way but the generated heaps are seen as > out-of-date when the user runs the Isabelle GUI, which then tries to > regenerate the heaps (and fails because the system directory isn't > writable).
There is no point do "debianize" Isabelle: it is a plain user-space application program, not a system component. You should be able to achive the above without deb packaging like this: * unpack the Isabelle tar.gz * run "Isabelle/bin/isabelle build -s -b HOL" (or any other images that users might need) * copy the result to the target (e.g. via "cp -a" or as a tar.gz) Here "Isabelle" refers to any Isabelle distribution from recent years: it is normal that Isabelle users have more than one of it active. Also note that "isabelle build" uses SHA1 hash keys on the sources, not datestamps. Makarius
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev