[isabelle-dev] .pyc files (notably from MaSH)

[Lawrence Paulson]

It’s possible that I just had a few of these files lying around. It is unclear to me how many other people are using MaSH and might have such files. Clearly .hgignore can be reverted if that change is no longer necessary.

Larry

On 9 Dec 2013, at 15:34, Makarius <makarius at sketis.net> wrote:

> This is mostly relevant to Jasmin and Larry, but I am posting it here to avoid further confusion caused by private mail threads where not everybody is involved who might need know about it.
> 
> 
> * Some months ago we've had a discussion about .pyc, which lead to the following change:
> 
> changeset:   53569:347f743e8336
> user:        blanchet
> date:        Thu Sep 12 10:05:10 2013 +0200
> files:       src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML
> description:
> invoke Python with "no bytecode" option to avoid litering Isabelle source directory with ".pyc" files (which can be problematic for a number of reasons)
> 
> 
> * Now I see the following:
> 
> changeset:   54582:cb17feba74e0
> user:        paulson
> date:        Mon Nov 25 14:50:31 2013 +0000
> files:       .hgignore
> description:
> MaSH files should be ignored
> 
> 
> Does it mean the .pyc are back, or are these just local left-over copies in the working directory of Larry?
> 
> 
> * Looking further, I've found this:
> 
> changeset:   53577:778b2b8f4a35
> user:        blanchet
> date:        Thu Sep 12 15:14:54 2013 +0200
> files:       src/HOL/Tools/Sledgehammer/sledgehammer_mash.ML
> description:
> more robust approach to avoid Python byte code -- environment variables get inherited by subprocesses
> 
> 
>  PYTHONDONTWRITEBYTECODE=y ./mash.py
> 
> Does that actually work, or should it be "env PYTHONDONTWRITEBYTECODE=y ./mash.py" instead?
> 
> 
> 	Makarius
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev