Issues · pub / frama-c · GitLab

Build failure if only the eva plugin is selected: -rectypes is required

#2593 · created Jan 13, 2022 by fx-carton compilation confirmed
- 3
updated Jan 14, 2022
Compilation of kernel native cmx is messed up with plugin makefile

#428 · created Sep 16, 2015 by mantis-gitlab-migration bug compilation
- 1
updated Feb 22, 2021
build failure due to mangled variable assignment in Makefile

#158 · created Jun 20, 2019 by mantis-gitlab-migration bug compilation
- 1
updated Feb 22, 2021
Frama-C upgrade installation not foolproof

#510 · created Apr 11, 2016 by Jochen Burghardt compilation
- 7
updated Feb 22, 2021
Does not build with OCaml 4.08.0

#160 · created Jun 18, 2019 by mantis-gitlab-migration bug compilation
- 1
updated Feb 22, 2021
ptest doesn't abort tests for which the command is incorrect

#909 · created Jan 22, 2015 by Valentin Perrelle bug compilation
- 0
updated Feb 22, 2021
Path for 'make install-doc-code' for external plug-in

#427 · created Sep 26, 2012 by mantis-gitlab-migration compilation enhancement
- 6
updated Feb 22, 2021
configure does not detect gtksourceview due to wrong path

#157 · created Jun 20, 2019 by mantis-gitlab-migration bug compilation
- 3
updated Feb 22, 2021