From: Eric Y. K. <eri...@gm...> - 2006-10-30 14:07:57
|
On Mon, Oct 30, 2006 at 12:59:27 +0100, Bas van Dijk wrote: > wx/src/Graphics/UI/WX/Types.hs:94:0: > Bad interface file: out/wx/imports/Graphics/UI/WXCore/Types.hi > Something is amiss; requested module=20 > wx-0.10.1:Graphics.UI.WXCore.Types differs from name found in the interfa= ce=20 > file wxcore-0.10.1:Graphics.UI.WXCore.Types > make: *** [out/wx/imports/Graphics/UI/WX/Types.o] Error 1 > The following patches are applied to my repo, so what's going on? I messed up. > make > (sudo) make install It turns out you have to a make clean here > make wx > (sudo) make wx-install And this works as usual. I'll see about updating the Makefile so that the relevant bits are cleaned. Sorry for that. --=20 Eric Kow http://www.loria.fr/~kow PGP Key ID: 08AC04F9 Merci de corriger mon fran=E7ais. |