Re: [isabelle-dev] PolyML bundle build steps

2016-06-04 Thread Makarius 
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

[isabelle-dev] PolyML bundle build steps

2016-06-02 Thread Matthew Fernandez 

Hi Makarius et al,

Apologies if is already known, but I could not find any obvious reference to it.

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

It looks to me like it is the result of these lines in `build`:

  ...
  91 mv "$SOURCE/$TARGET/lib/"* "$TARGET/"
  92 rmdir "$SOURCE/$TARGET/bin" "$SOURCE/$TARGET/lib"
  ...

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.

Thanks,
Matt



The information in this e-mail may be confidential and subject to legal 
professional privilege and/or copyright. National ICT Australia Limited accepts 
no liability for any damage caused by this email or its attachments.
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev