Package Details: tis-interpreter-git r95.33132ce-1

Git Clone URL: https://aur.archlinux.org/tis-interpreter-git.git (read-only)
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: LGPL2.1
Conflicts: tis-interpreter
Provides: tis-interpreter
Submitter: 314eter
Maintainer: 314eter
Last Packager: 314eter
Votes: 1
Popularity: 0.000963
First Submitted: 2016-05-10 19:43
Last Updated: 2017-06-21 13:20

Dependencies (7)

Required by (0)

Sources (2)

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?