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

[Andreas Abel]

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.

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/