Issues · pub / frama-c · GitLab

share/Makefile.kernel: No such file or directory

#2425 · created Feb 16, 2010 by mantis-gitlab-migration compilation critical
- CLOSED
- 5
updated Feb 22, 2021
cp: cannot stat `ocamlgraph/dgraph/dgraph.cmi': No such file or directory

#2424 · created Feb 16, 2010 by mantis-gitlab-migration compilation critical
- CLOSED
- 2
updated Feb 22, 2021
Should not call install-kernel-opt on bytecode architectures

#2394 · created Jan 22, 2010 by mantis-gitlab-migration bug compilation
- CLOSED
- 1
updated Feb 22, 2021
problem to make install the "hello_world"-plugin

#2353 · created Sep 13, 2010 by mantis-gitlab-migration bug compilation
- CLOSED
- 1
updated Feb 22, 2021
Don't edit files in make install. Instead, just use all plug-ins in the plugin directory

#2336 · created Oct 13, 2010 by mantis-gitlab-migration bug compilation
- CLOSED
- 2
updated Feb 22, 2021
Makefile.dynamic should not change known_plugins.ac

#2294 · created Apr 27, 2010 by mantis-gitlab-migration compilation enhancement
- CLOSED
- 1
updated Feb 22, 2021
Error during plugin compilation

#2253 · created Jan 21, 2011 by mantis-gitlab-migration compilation critical
- CLOSED
- 6
updated Feb 22, 2021
lib apron not found in configure

#2243 · created Dec 22, 2010 by mantis-gitlab-migration compilation enhancement
- CLOSED
- 2
updated Feb 22, 2021
Signature mismatch errors while compiling simple "hello world" plug-in

#2217 · created Apr 07, 2011 by mantis-gitlab-migration compilation critical
- CLOSED
- 1
updated Feb 22, 2021
the make errors

#2048 · created Nov 30, 2011 by mantis-gitlab-migration bug compilation
- CLOSED
- 13
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
Fatal error: exception Env.Error("C:\Frama-C\lib/pervasives.cmi")

#1867 · created May 09, 2013 by mantis-gitlab-migration bug compilation
- CLOSED
- 2
updated Apr 15, 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
Makefile.dynamic should always write to $(DESTDIR)

#1704 · created Jul 04, 2010 by mantis-gitlab-migration 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
Frama-c-gui doesn't install on bytecode architecture

#1673 · created Apr 27, 2010 by mantis-gitlab-migration bug compilation
- CLOSED
- 1
updated Feb 22, 2021
RTE compiled even with ./configure --disable-rte

#1657 · created Feb 06, 2010 by Dillon Pariente bug compilation
- CLOSED
- 4
updated Feb 22, 2021

Prev
1
2
3
Next