Issues · pub / frama-c · GitLab

make install fails when --prefix is the source directory

#947 · created Nov 12, 2014 by Mihaela Sighireanu bug compilation
- CLOSED
- 2
updated Feb 22, 2021
Erreur de linkage de librarie ocaml avec des fichier objets

#1007 · created Apr 05, 2014 by mantis-gitlab-migration compilation critical
- CLOSED
- 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
Cannot switch to local version if OCamlgraph is already installed

#790 · created May 01, 2014 by Richard Bonichon bug compilation
- CLOSED
- 2
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 step fails on bytecode architectures

#323 · created Apr 28, 2014 by mantis-gitlab-migration bug compilation
- CLOSED
- 2
updated Feb 22, 2021
opam installation of frama-c-base fails

#311 · created Nov 07, 2017 by mantis-gitlab-migration bug compilation
- CLOSED
- 1
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
coq and ocaml conflict

#150 · created Mar 28, 2018 by mantis-gitlab-migration bug compilation
- CLOSED
- 3
updated Feb 22, 2021
Bytecode only compilation fails when linking to stdlib

#73 · created Jun 18, 2018 by mantis-gitlab-migration bug compilation
- CLOSED
- 12
updated Feb 22, 2021

Prev
1
2
3
Next