Search Criteria
Package Details: tis-interpreter-git r95.33132ce-1
Git Clone URL: | https://aur.archlinux.org/tis-interpreter-git.git (read-only, click to copy) |
---|---|
Package Base: | tis-interpreter-git |
Description: | An interpreter for finding subtle bugs in programs written in standard C |
Upstream URL: | https://github.com/TrustInSoft/tis-interpreter |
Licenses: | |
Conflicts: | |
Provides: | |
Submitter: | 314eter |
Maintainer: | 314eter |
Last Packager: | 314eter |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2016-05-10 19:43 |
Last Updated: | 2017-06-21 13:20 |
Dependencies (7)
- git (git-git) (make)
- ocaml (make)
- ocaml-biniou (make)
- ocaml-easy-format (make)
- ocaml-findlib (make)
- ocaml-yojson (ocaml-yojson-git) (make)
- zarith (ocaml-zarith) (make)
Latest Comments
nem commented on 2017-07-21 10:10
build fails:
make[1]: Leaving directory '/tmp/aur/tis-interpreter-git/src/tis-interpreter/ocamlgraph'
Copying to lib/graph.cmi
Copying to lib/graph.cmo
Copying to lib/graph.cmx
Copying to lib/graph.o
Generating .depend
Copying to src/plugins/value/domains/apron/apron_domain.ml
Ocamldep src/plugins/callgraph/.depend
Ocamldep src/plugins/value/.depend
Ocamldep src/plugins/rte/.depend
Ocamldep src/plugins/users/.depend
Ocamldep src/plugins/constant_propagation/.depend
Generating .depend
Copying to src/plugins/value/domains/apron/apron_domain.ml
Ocamlc src/libraries/utils/hook.cmo
File "src/libraries/utils/hook.ml", line 1:
Error: The implementation src/libraries/utils/hook.ml
does not match the interface src/libraries/utils/hook.cmi:
...
At position module Build(P) : <here>
Values do not match:
val extend : ('_a -> unit) -> unit
is not included in
val extend : (param -> result) -> unit
File "src/libraries/utils/hook.ml", line 61, characters 6-12:
Actual declaration
make: *** [share/Makefile.generic:78: src/libraries/utils/hook.cmo] Error 2
==> ERROR: A failure occurred in build().
Aborting...
314eter commented on 2017-06-21 13:22
I added the patch from https://bts.frama-c.com/view.php?id=2255
tavianator commented on 2017-06-06 21:02
I get "Error: Some fatal warnings were triggered (5 occurrences)" when building this, any suggestions?