On 03/06/16 02:06, Matthew Fernandez wrote: > > The PolyML tarball that comes bundled with Isabelle has a script `build` > that automates compilation. > Very handy. However, when moving files towards the end, it seems to > attempt something that doesn't > work out: > > ... > mv: cannot move 'src/x86_64-linux/lib/pkgconfig' to > 'x86_64-linux/pkgconfig': Directory not empty > rmdir: failed to remove 'src/x86_64-linux/lib': Directory not empty > ... > > The failure doesn't seem to affect the resulting build artefacts, but I > don't think these lines are > intended to fail. This occurred when running `./build src x86_64-linux > --with-gmp`. Just wanted to > let you know in case this was not a known situation.
These messages can be ignored, although it is a bit untidy. In Isabelle/f951c624c1a1 I have updated it to recent changes of the Poly/ML directory layout (4bbb8abbc35). Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev