Bug#844777: why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie'

2016-11-19 Thread Ralf Treinen
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=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.



Bug#844777: why FTBFS on mips*, ppc64el, s390x: cannot stat './META.frama-c-jessie'

2016-11-18 Thread Adrian Bunk
Source: why
Version: 2.36-2
Severity: serious

https://buildd.debian.org/status/package.php?p=why=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