Error during plugin compilation
ID0000681: This issue was created automatically from Mantis Issue 681. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000681 | Frama-C | Kernel > Makefile | public | 2011-01-21 | 2011-01-24 |
| Reporter | CFaure | Assigned To | signoles | Resolution | won't fix |
| Priority | normal | Severity | block | Reproducibility | have not tried |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Boron-20100401 | Target Version | - | Fixed in Version | - |
Description :
I made a custom install of Frama-C with DESTDIR=/home/faure/frama-c/frama-c-install.
I tries to compile a plugin with a Makefile built as described in the manual. But I got errors and nothing got compiled.
Then I modified the makefile as described in additional information: I mainly added modified the values of FRAMAC_SHARE and FRAMAC_LIBDIR because the paths where wrong.
The make got further but I finally got a link error: Linking frama-c-Saferiver.byte Cannot find file /usr/local/lib/frama-c/boot.cmo make: *** [frama-c-Saferiver.byte] Error 2
Additional Information :
Frama-c should be properly installed with "make install
before any use of this makefile
DESTDIR=/home/faure/frama-c/frama-c-install FRAMAC_BIN=$(DESTDIR)/usr/local/bin
FRAMAC_SHARE :=$(shell $(FRAMAC_BIN)/frama-c.byte -print-path) FRAMAC_LIBDIR :=$(shell $(FRAMAC_BIN)/frama-c.byte -print-libpath) PLUGIN_NAME = Saferiver PLUGIN_CMO = register
FRAMAC_SHARE := (DESTDIR)/(FRAMAC_SHARE)
FRAMAC_LIBDIR := (DESTDIR)/(FRAMAC_LIBDIR)
include $(FRAMAC_SHARE)/Makefile.dynamic