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

Git Clone URL: (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:
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)

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/ 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/ Ocamlc src/libraries/utils/hook.cmo File "src/libraries/utils/", line 1: Error: The implementation src/libraries/utils/ 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/", 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

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

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