Re: [isabelle] ISABELLE_OUTPUT



On 19.08.2014 16:09, Lars Hupel wrote:
> Hello,
>
> I'm trying to change the heap directory when building in non-system mode
> (i.e. default mode). So far, I've tried setting 'ISABELLE_HOME_USER' and
> 'ISABELLE_OUTPUT' as an environment variable:
>
>   $ ISABELLE_HOME_USER=/tmp/isa isabelle build -D . -vb
>
> It still keeps using '$HOME/.isabelle' as 'ISABELLE_HOME_USER'. Upon
> closer inspection of 'etc/settings', that doesn't seem surprising, since
> this setting is just overridden:
>
>   if [ -z "$ISABELLE_IDENTIFIER" ]; then
>     ISABELLE_HOME_USER="$USER_HOME/.isabelle"
>   else
>     ISABELLE_HOME_USER="$USER_HOME/.isabelle/$ISABELLE_IDENTIFIER"
>   fi
>
> Is it actually possible to change this directory without touching
> 'etc/settings'?
USER_HOME is taken from the environment and could point to another
etc/settings file. You probably could also use a little bit of Scala
instead of isabelle build?




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.