Home My Page Projects The Why platform
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

[#21001] fails to compile on non-native architectures

Date:
2016-11-19 18:19
Priority:
3
State:
Open
Submitted by:
Ralf Treinen (treinen)
Assigned to:
Nobody (None)
Hardware:
All
Product:
none
Operating System:
Linux
Component:
none
Version:
none
Severity:
major
Resolution:
none
URL:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=844777
Summary:
fails to compile on non-native architectures

Detailed description
Hello,

why 2.36 fails to compile on byte-code-only architectures. On debian, we have observed these build failures on the architectures mips, mipsel, mips64el, ppc64el, s390x, hppa and ppc64. See for instance

https://buildd.debian.org/status/fetch.php?pkg=why&arch=mips&ver=2.36-2&stamp=1476303540

-Ralf.
Message  ↓
Date: 2016-12-18 19:27
Sender: Ralf Treinen

Hello,

the problem was just that "make" does not generate the file frama-c-plugin/META.frama-c-jessie on non-native architectures. On native architectures, this file is generated by the Frama-C Makefile which is included at the end of frama-c-plugin/Makefile. You probably have to set the right magic PLUGIN-* variables to make it work on non-native architectures, but I did not try to figure out how to do this. For the debian package I am just generating the META file myself in case it got not generated by your Makefile.

-Ralf.

Date: 2016-11-22 14:39
Sender: Claude Marché

I don't have access to such byte-code only architecture, and I'm not able to build a "fake" byte-code only environment (ocamlgraph does not install properly...) Could you try the attached patch and check if it solves the problem?

Attachments:
Size Name Date By Download
438 bytespatch2016-11-22 14:39marchepatch
Field Old Value Date By
File Added5918: patch2016-11-22 14:39marche