[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: