Bug#844777: why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie'
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
Reply to: