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
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
