Issues · pub / frama-c · GitLab

the input file should be the first argument to ptests

#1252 · created Feb 23, 2011 by Julien Signoles compilation enhancement
- CLOSED
- 2
updated Feb 22, 2021
Strange problem with FRAMAC_LIB from Makefile.dynamic

#1946 · created Nov 15, 2012 by mantis-gitlab-migration bug compilation
- CLOSED
- 2
updated Feb 22, 2021
initialization fails without explicitly setting FRAMAC_SHARE on Windows

#1839 · created Jul 18, 2013 by David Cok bug compilation
- CLOSED
- 4
updated Feb 22, 2021
Install frama-c.top

#1802 · created Mar 22, 2012 by mantis-gitlab-migration compilation enhancement
- CLOSED
- 13
updated Feb 22, 2021
Getting frama-c version through --enable-external

#1779 · created Jan 23, 2012 by Julien Signoles compilation enhancement
- CLOSED
- 1
updated Feb 22, 2021
actions done with make install -n (svn 10897)

#1742 · created Dec 13, 2010 by Stephane Duprat bug compilation
- CLOSED
- 2
updated Feb 22, 2021
.make-ocamlgraph is not needed when using non-local ocamlgraph

#1674 · created Apr 27, 2010 by mantis-gitlab-migration bug compilation
- CLOSED
- 1
updated Feb 22, 2021
After ./confugure with --disable-all-staff options, make holds

#1622 · created Oct 27, 2009 by Nikolai Kosmatov bug compilation
- CLOSED
- 2
updated Feb 22, 2021
Can't compile

#247 · created Jul 25, 2018 by mantis-gitlab-migration bug compilation
- CLOSED
- 7
updated Feb 22, 2021
Bytecode only build fail with error 127

#134 · created Aug 23, 2019 by mantis-gitlab-migration bug compilation
- CLOSED
- 3
updated Feb 22, 2021
"make clean" does not work when upgrading OCaml

#1472 · created Jan 08, 2013 by mantis-gitlab-migration bug compilation
- CLOSED
- 3
updated Feb 22, 2021
Bad links in generated documentation modules.svg

#1391 · created Feb 06, 2012 by mantis-gitlab-migration compilation
- CLOSED
- 2
updated Feb 22, 2021
PLUGIN_LINK_GUI_OFLAGS not used ?

#1378 · created Apr 12, 2012 by mantis-gitlab-migration bug compilation
- CLOSED
- 3
updated Feb 22, 2021
Compiling Wp-Coq library

#1114 · created Mar 13, 2014 by Dillon Pariente bug compilation
- CLOSED
- 2
updated Feb 22, 2021
Handling error in external plug-in through --enable-external

#1356 · created Jan 23, 2012 by Julien Signoles bug compilation
- CLOSED
- 2
updated Feb 22, 2021
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
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
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

Prev
1
2
3
Next