search

draperlaboratory / cage-koat

A private fork of the kittel/koat repository
Apache License 2.0
4 stars 0 forks source link

Unable to install kittel #21

Open jesusjda opened 6 years ago

jesusjda commented 6 years ago

after running: make kittel

File "translation/simple/simpleToTRS.ml", line 232, characters 62-64: Error: This expression has type string list but an expression was expected of type Poly.var list Type string is not compatible with type Poly.var Command exited with code 2. Compilation unsuccessful after building 54 targets (53 cached) in 00:00:00. Makefile:40: recipe for target 'kittel' failed

Package installed:

apron 20160125 APRON numerical abstract domain library camlp4 4.04+1 Camlp4 is a system for writing extensible parsers for programming languages ... ocamlbuild 0.12.0 OCamlbuild is a build system with builtin rules to easily build most OCaml project ocamlfind 1.7.3-1 A library manager for OCaml ocamlgraph 1.8.8 A generic graph library for OCaml yices2 0.0.3 Yices2 SMT solver binding yojson 1.4.1 Yojson is an optimized parsing and printing library for the JSON format z3 4.6 Z3 solver zarith 1.7 Implements arithmetic and logical operations over arbitrary-precision integers

codyroux commented 6 years ago

Hi @jesusjda, we aren't really maintaining the kittel back end. Is there any chance that koat is sufficient for your needs?

As a side note: which version of OCaml are you using?

jesusjda commented 6 years ago

Hi, yes, Koat is sufficient. I've opened the issue to let you know the error. I'm currently using 4.04

Thanks

codyroux commented 6 years ago

All right, thanks!

On Wed, Apr 25, 2018 at 11:23 AM, Jesús Doménech notifications@github.com wrote:

Hi, yes, Koat is sufficient. I've opened the issue to let you know the error. I'm currently using 4.04

Thanks

— You are receiving this because you commented. Reply to this email directly, view it on GitHub https://github.com/draperlaboratory/cage-koat/issues/21#issuecomment-384327424, or mute the thread https://github.com/notifications/unsubscribe-auth/AD_9UHqV4VwtacgQ2eIOgWS6YLwHnBEYks5tsJUJgaJpZM4Td9el .