Hi Adrian, On Sat, Nov 19, 2016 at 01:06:23AM +0200, Adrian Bunk wrote: > Source: why > Version: 2.36-2 > Severity: serious > > https://buildd.debian.org/status/package.php?p=why&suite=sid > > ... > mkdir -p /«PKGBUILDDIR»/debian/why/usr/share/why/coq > cp -f lib/coq/Jessie_memory_model.vo > /«PKGBUILDDIR»/debian/why/usr/share/why/coq > /usr/bin/make -C frama-c-plugin install > make[3]: Entering directory '/«PKGBUILDDIR»/frama-c-plugin' > mkdir -p /«PKGBUILDDIR»/debian/why/usr/lib/frama-c/plugins > cp ./META.frama-c-jessie ./Jessie.cmi ./Jessie.cmo ./Jessie.cma > /«PKGBUILDDIR»/debian/why/usr/lib/frama-c/plugins > cp: cannot stat './META.frama-c-jessie': No such file or directory > /usr/share/frama-c/Makefile.dynamic:263: recipe for target 'install' failed > make[3]: *** [install] Error 1
Yes, I know, why fails to build on all architectures for which ocaml has only compilation to byte-code. This is a a problem with upstream's Makefile. The upstream author is working on it. -Ralf.