> * How to re-init the opam installation, e.g. after changing
> ISABELLE_OCAML_VERSION (maybe even in ISABELLE_HOME_USER/etc/settings)?
> (Presently I have just removed purged ISABELLE_OPAM_ROOT.)
I don't think purging the directory is necessary. It should work out of
the box. According to
On 08/10/18 15:58, Lars Hupel wrote:
>> For the ROOT entry there is already 'export_files' in Isabelle2018. This
>> could be augmented by something like:
>>
>> export_action NAME = SCALA
>>
>> with a snippet of Scala source that is a function from the resulting
>> session build to unit. It could
> For the ROOT entry there is already 'export_files' in Isabelle2018. This
> could be augmented by something like:
>
> export_action NAME = SCALA
>
> with a snippet of Scala source that is a function from the resulting
> session build to unit. It could invoke build tools for Haskell, Ocaml,
>