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 MHonArc.