Support for Compcert broken - Githubissues

OpenAADL / polyorb-hi-c

PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS

http://www.openaadl.org

Other

12 stars 48 forks source link

Support for Compcert broken #10

Closed yoogx closed 8 years ago

yoogx commented 8 years ago

The support for compcert is currently broken

detection of compiler is not working
a few elements in the linking phase to be solved