Re: [isabelle] isabelle make
On Wed, 13 Apr 2011, Christian Sternagel wrote:
will always execute an existing IsaMakefile, even for
isabelle make -f other-makefile
is there a specific reason for this behavior (which I did not expect)?
This depends on make alone, whichever version is used here. The isabelle
wrapper merely invokes "make -f IsaMakefile" within the standard settings
environment. The idea is to use that make file as default. In Unix
command line tools repeated options either accumulate, or have a tendency
to prefer the last occurrence, although this is not fully standardized.
So the meaning of some extra -f is hard to predict.
Since the basic principle behind isabelle make is to do nothing specific,
apart from providing some reasonable defaults, you can always invoke
completely different make command lines like that:
isabelle env make -f other-makefile
This archive was generated by a fusion of
Pipermail (Mailman edition) and