Roman Leshchinskiy wrote:
[...]
OK: I've recompiled the current ghc-head version: darcs pull -a ./darcs-all pull -a make clean sh boot && ./configure && make -j5 && echo ok cd libraries/ndp/ darcs pull -a make clean cd .. make make.library.ndp # works up to this point cd ndp/examples/dotp make # this gives me: y0027750@valkyrie:~/ghc/libraries/ndp/examples/dotp$ make cd ../lib && make make[1]: Entering directory `/home/sfriedrichs/ghc/libraries/ndp/examples/lib' make[1]: Für das Ziel »all« ist nichts zu tun. make[1]: Leaving directory `/home/sfriedrichs/ghc/libraries/ndp/examples/lib' ../../../../compiler/ghc-inplace -c DotPSeq.hs -fglasgow-exts -fbang-patterns -O2 -funbox-strict-fields -fdicts-cheap -fno-method-sharing -fno-spec-constr-threshold -fmax-simplifier-iterations10 -threaded -XTypeFamilies -fcpr-off -package ndp -no-recomp -i../lib ../../../../compiler/ghc-inplace -c DotPPar.hs -fglasgow-exts -fbang-patterns -O2 -funbox-strict-fields -fdicts-cheap -fno-method-sharing -fno-spec-constr-threshold -fmax-simplifier-iterations10 -threaded -XTypeFamilies -fcpr-off -package ndp -no-recomp -i../lib ../../../../compiler/ghc-inplace -c DotPVect.hs -fglasgow-exts -fbang-patterns -O2 -funbox-strict-fields -fdicts-cheap -fno-method-sharing -fno-spec-constr-threshold -fmax-simplifier-iterations10 -threaded -XTypeFamilies -fcpr-off -package ndp -no-recomp -i../lib ../../../../compiler/ghc-inplace -c dotp.hs -fglasgow-exts -fbang-patterns -O2 -funbox-strict-fields -fdicts-cheap -fno-method-sharing -fno-spec-constr-threshold -fmax-simplifier-iterations10 -threaded -XTypeFamilies -fcpr-off -package ndp -no-recomp -i../lib dotp.hs:13:0: Bad interface file: ../lib/Bench/Benchmark.hi mismatched interface file versions: expected 60920080126, found 60920080124 make: *** [dotp.o] Fehler 1 Sorry for the German make output, but I'm no admin on this machine - make[1]: Für das Ziel »all« ist nichts zu tun. make[1]: Nothing to be done for target 'all' - make: *** [dotp.o] Fehler 1 make: *** [dotp.o] Error 1 However, this looks like 'make clean' in the ndp directory was somehow incomplete? //Stephan -- Früher hieß es ja: Ich denke, also bin ich. Heute weiß man: Es geht auch so. - Dieter Nuhr