scoop should not be recompiled when "make install"

utwente-fmt / ltsmin

The LTSmin model checking toolset

http://ltsmin.utwente.nl

BSD 3-Clause "New" or "Revised" License

52 stars 30 forks source link

scoop should not be recompiled when "make install" #173

Open jwaldmann opened 4 years ago

jwaldmann commented 4 years ago

I am doing the usual "configure; make ; sudo make install".

On "sudo make install", scoop is re-compiled. This is redundant, and it leaves files in scoop/src (e.g., Usage.dyn_o) owned by root.

jwaldmann commented 4 years ago

on closer inspection, the situation is: my standard user has a different $PATH than root has, so "sudo make install" picks up a different (older) ghc. Then this ghc's recompilation checker detects that .hi files have wrong version (?) and compiles everything anew.

It might be better anyway to add a scoop.cabal description file.