[Agda-dev] Testsuite destroys FFI package installations!?

[Philipp Hausmann]

This is (mostly) fixed. All enabled compiler tests now use the GHC
include flags (-i) instead of creating a temporary
GHC package db (which apparently was buggy as well). I haven't fixed the
Compiler stdlib tests (yet); they
are disabled anyway because they are so expensive.

The only drawback of this change is, that manual compilation of a test
case writes the generated code to
test/Compiler/simple/MAlonzo. This will confuse the automatic test
runner and can lead to strange errors.
The easy fix is to always delete this directory after manual compilation.

Cheers, Philipp

On 01/20/2016 09:33 AM, Andreas Abel wrote:
> See
>
>   https://github.com/agda/agda/issues/1788
>
> I had the feeling that I needed to reinstall the FFI components of the
> standard library all the time recently. It seems that the testsuite
> destroys my FFI installation:
>
> $ ghc-pkg check
>
> There are problems in package agda-tests-ffi-0.0.1:
>   Warning: library-dirs:
> /home/abel/agda-master/exec-test-pkgs17795/lib/x86_64-linux-ghc-7.8.4/agda-tests-ffi-0.0.1
> doesn't exist or isn't a directory
> ...
>   import-dirs:
> /home/abel/agda-master/exec-test-pkgs17795/lib/x86_64-linux-ghc-7.8.4/agda-tests-ffi-0.0.1
> doesn't exist or isn't a directory
>   cannot find any of
> ["Common/FFI.hi","Common/FFI.p_hi","Common/FFI.dyn_hi"]
>   cannot find any of
> ["libHSagda-tests-ffi-0.0.1.a","libHSagda-tests-ffi-0.0.1.p_a","libHSagda-tests-ffi-0.0.1-ghc7.8.4.so","libHSagda-tests-ffi-0.0.1-ghc7.8.4.dylib","HSagda-tests-ffi-0.0.1-ghc7.8.4.dll"]
> on library path
>
> There are problems in package agda-lib-ffi-0.11:
>   Warning: library-dirs:
> /home/abel/agda-master/exec-test-pkgs17796/lib/x86_64-linux-ghc-7.8.4/agda-lib-ffi-0.11
> doesn't exist or isn't a directory
> ...
>   import-dirs:
> /home/abel/agda-master/exec-test-pkgs17796/lib/x86_64-linux-ghc-7.8.4/agda-lib-ffi-0.11
> doesn't exist or isn't a directory
>   cannot find any of ["Data/FFI.hi","Data/FFI.p_hi","Data/FFI.dyn_hi"]
>   cannot find any of ["IO/FFI.hi","IO/FFI.p_hi","IO/FFI.dyn_hi"]
>   cannot find any of
> ["libHSagda-lib-ffi-0.11.a","libHSagda-lib-ffi-0.11.p_a","libHSagda-lib-ffi-0.11-ghc7.8.4.so","libHSagda-lib-ffi-0.11-ghc7.8.4
>
> Somehow the compiler test (?) reinstalls the FFI packages into a
> temporary directory like exec-test-pkgsXXXXX which is then deleted.
>
> That's bad.
>


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
Url : http://lists.chalmers.se/pipermail/agda-dev/attachments/20160120/fa87bdf6/signature.bin