Package Details: ocaml-psmt2-frontend 0.2-2

Git Clone URL: https://aur.archlinux.org/ocaml-psmt2-frontend.git (read-only, click to copy)
Package Base: ocaml-psmt2-frontend
Description: A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language
Upstream URL: https://github.com/Coquera/psmt2-frontend
Licenses: Apache2
Submitter: Alad
Maintainer: None
Last Packager: Alad
Votes: 0
Popularity: 0.000000
First Submitted: 2019-11-30 18:18 (UTC)
Last Updated: 2019-11-30 18:52 (UTC)

Required by (0)

Sources (1)

Latest Comments

rageltman commented on 2021-08-27 00:58 (UTC)

The PKGBUILD seems to be missing the ocamlfind dependency:

[2021-08-27T00:56:53.337Z] ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
[2021-08-27T00:56:53.337Z] ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -pack -o src/psmt2Frontend.cmx src/version.cmx src/options.cmx src/smtlib_error.cmx src/smtlib_ty.cmx src/smtlib_syntax.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.cmx src/smtlib_printer.cmx src/smtlib_typing.cmx
[2021-08-27T00:56:53.337Z] ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxa src/psmt2Frontend.cmx
[2021-08-27T00:56:53.337Z] ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxs src/psmt2Frontend.cmx
[2021-08-27T00:56:53.337Z] ==> Entering fakeroot environment...
[2021-08-27T00:56:53.337Z] ==> Starting package()...
[2021-08-27T00:56:53.337Z] /startdir/PKGBUILD: line 27: ocamlfind: command not found
[2021-08-27T00:56:53.337Z] ==> ERROR: A failure occurred in package().
[2021-08-27T00:56:53.337Z]     Aborting...