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: LGPL2.1
Conflicts: tis-interpreter
Provides: tis-interpreter
Submitter: 314eter
Maintainer: 314eter
Last Packager: 314eter
Votes: 1
Popularity: 0.000000
First Submitted: 2016-05-10 19:43 (UTC)
Last Updated: 2017-06-21 13:20 (UTC)

Dependencies (7)

Required by (0)

Sources (2)

Latest Comments

nem commented on 2017-07-21 10:10 (UTC)

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 (UTC)

I added the patch from https://bts.frama-c.com/view.php?id=2255

tavianator commented on 2017-06-06 21:02 (UTC)

I get "Error: Some fatal warnings were triggered (5 occurrences)" when building this, any suggestions?