On This Page
package hardcaml-vpi
hardcaml-vpi 0.3.0
Error log
The package failed to build. The error log from opam follows.
[NOTE] Package dune is already installed (current version is 2.6.2).
[NOTE] Package ocamlfind is already installed (current version is 1.9.8).
The following actions will be performed:
=== install 32 packages
- install astring 0.8.5
- install base-bytes base
- install bigarray-compat 1.1.0
- install camlp4 4.07+1
- install cmdliner 1.0.4
- install conf-libffi 2.0.0
- install conf-pkg-config 4
- install cppo 1.8.0
- install ctypes 0.20.2
- install ctypes-foreign 0.18.0
- install hardcaml 1.2.0
- install hardcaml-vpi 0.3.0
- install integers 0.7.0
- install jbuilder 1.0+beta20.2 (deprecated)
- install js_of_ocaml 3.9.0
- install js_of_ocaml-camlp4 3.1.0
- install js_of_ocaml-compiler 3.9.1
- install menhir 20211012
- install menhirLib 20211012
- install menhirSdk 20211012
- install num 1.5-1
- install ocaml-compiler-libs v0.12.3
- install ocaml-migrate-parsetree 2.4.0 (deprecated)
- install ocamlbuild 0.14.3
- install ppx_derivers 1.2.1
- install ppxlib 0.20.0
- install seq base
- install sexplib0 v0.15.0
- install stdlib-shims 0.3.0
- install topkg 1.0.7
- install uchar 0.0.2
- install yojson 2.0.2
The following system packages will first need to be installed:
libffi-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libffi-dev" "pkg-config"
- debconf: delaying package configuration, since apt-utils is not installed
- Selecting previously unselected package libffi-dev:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 18745 files and directories currently installed.)
- Preparing to unpack .../libffi-dev_3.4.4-1_amd64.deb ...
- Unpacking libffi-dev:amd64 (3.4.4-1) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-1) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-1) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-1) ...
- Setting up libffi-dev:amd64 (3.4.4-1) ...
- Setting up libpkgconf3:amd64 (1.8.1-1) ...
- Setting up pkgconf-bin (1.8.1-1) ...
- Setting up pkgconf:amd64 (1.8.1-1) ...
- Setting up pkg-config:amd64 (1.8.1-1) ...
- Processing triggers for libc-bin (2.36-9+deb12u9) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bytes.base
-> retrieved astring.0.8.5 (cached)
-> retrieved bigarray-compat.1.1.0 (cached)
-> retrieved camlp4.4.07+1 (cached)
-> retrieved cmdliner.1.0.4 (cached)
-> retrieved cppo.1.8.0 (cached)
-> installed conf-pkg-config.4
-> retrieved ctypes.0.20.2 (cached)
-> retrieved hardcaml.1.2.0 (cached)
-> installed conf-libffi.2.0.0
-> installed ctypes-foreign.0.18.0
-> retrieved integers.0.7.0 (cached)
-> installed bigarray-compat.1.1.0
-> retrieved jbuilder.1.0+beta20.2 (cached)
-> installed cppo.1.8.0
-> retrieved js_of_ocaml.3.9.0 (cached)
-> retrieved js_of_ocaml-camlp4.3.1.0 (cached)
-> retrieved hardcaml-vpi.0.3.0 (https://github.com/ujamjar/hardcaml-vpi/archive/v0.3.0.tar.gz)
-> retrieved num.1.5-1 (cached)
-> retrieved ocaml-compiler-libs.v0.12.3 (cached)
-> retrieved menhir.20211012, menhirLib.20211012, menhirSdk.20211012 (cached)
-> retrieved js_of_ocaml-compiler.3.9.1 (cached)
-> retrieved ocaml-migrate-parsetree.2.4.0 (cached)
-> installed ocaml-compiler-libs.v0.12.3
-> retrieved ocamlbuild.0.14.3 (cached)
-> retrieved seq.base (cached)
-> installed seq.base
-> installed menhirLib.20211012
-> installed menhirSdk.20211012
-> retrieved ppx_derivers.1.2.1 (cached)
-> retrieved ppxlib.0.20.0 (cached)
-> retrieved sexplib0.v0.15.0 (cached)
-> retrieved stdlib-shims.0.3.0 (cached)
-> retrieved uchar.0.0.2 (cached)
-> retrieved topkg.1.0.7 (cached)
-> retrieved yojson.2.0.2 (cached)
-> installed ocaml-migrate-parsetree.2.4.0
-> installed ppx_derivers.1.2.1
-> installed sexplib0.v0.15.0
-> installed stdlib-shims.0.3.0
-> installed yojson.2.0.2
-> installed integers.0.7.0
-> installed cmdliner.1.0.4
-> installed menhir.20211012
-> installed num.1.5-1
-> installed ppxlib.0.20.0
-> installed js_of_ocaml-compiler.3.9.1
-> installed ocamlbuild.0.14.3
-> installed uchar.0.0.2
-> installed js_of_ocaml.3.9.0
-> installed jbuilder.1.0+beta20.2
-> installed topkg.1.0.7
-> installed astring.0.8.5
-> installed ctypes.0.20.2
-> installed camlp4.4.07+1
-> installed js_of_ocaml-camlp4.3.1.0
-> installed hardcaml.1.2.0
[ERROR] The compilation of hardcaml-vpi.0.3.0 failed at "make vpi".
#=== ERROR while compiling hardcaml-vpi.0.3.0 =================================#
# context 2.3.0 | linux/x86_64 | ocaml-base-compiler.4.07.1 | file:///src
# path ~/.opam/4.07/.opam-switch/build/hardcaml-vpi.0.3.0
# command /usr/bin/make vpi
# exit-code 2
# env-file ~/.opam/log/hardcaml-vpi-114-57d3e6.env
# output-file ~/.opam/log/hardcaml-vpi-114-57d3e6.out
### output ###
# VPI_CFLAGS=`iverilog-vpi --cflags` \
# VPI_LDFLAGS=`iverilog-vpi --ldflags` \
# VPI_LDLIBS=`iverilog-vpi --ldlibs` \
# OCAML_LDPATH=`ocamlc -where` \
# CTYPES_LDPATH=`opam config var ctypes:lib` \
# ocaml pkg/pkg.ml build
# /bin/sh: 1: iverilog-vpi: not found
# /bin/sh: 1: iverilog-vpi: not found
# /bin/sh: 1: iverilog-vpi: not found
# ocamlfind ocamlopt unix.cmxa -I /home/opam/.opam/4.07/lib/ocamlbuild /home/opam/.opam/4.07/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/4.07/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
# ocamlfind ocamlc -g -package ctypes.foreign -package hardcaml -c cosim_c.c
# + ocamlfind ocamlc -g -package ctypes.foreign -package hardcaml -c cosim_c.c
# findlib: [WARNING] Interface big_int.cmi occurs in several directories: /home/opam/.opam/4.07/lib/num, /home/opam/.opam/4.07/lib/ocaml
# findlib: [WARNING] Interface num.cmi occurs in several directories: /home/opam/.opam/4.07/lib/num, /home/opam/.opam/4.07/lib/ocaml
# findlib: [WARNING] Interface nat.cmi occurs in several directories: /home/opam/.opam/4.07/lib/num, /home/opam/.opam/4.07/lib/ocaml
# findlib: [WARNING] Interface ratio.cmi occurs in several directories: /home/opam/.opam/4.07/lib/num, /home/opam/.opam/4.07/lib/ocaml
# findlib: [WARNING] Interface arith_status.cmi occurs in several directories: /home/opam/.opam/4.07/lib/num, /home/opam/.opam/4.07/lib/ocaml
# ocamlfind: [WARNING] Package `threads': Linking problems may arise because of the missing -thread or -vmthread switch
# cosim_c.c:5:10: fatal error: vpi_user.h: No such file or directory
# 5 | #include "vpi_user.h"
# | ^~~~~~~~~~~~
# compilation terminated.
# Command exited with code 2.
# pkg.ml: [ERROR] cmd ['ocamlbuild' '-use-ocamlfind' '-classic-display' '-j' '4' '-tag' 'debug'
# '-build-dir' '_build' 'opam' 'pkg/META' 'CHANGES.md' 'LICENSE.md'
# 'README.md' 'cosim.vpi']: exited with 10
# make: *** [Makefile:22: vpi] Error 1
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build hardcaml-vpi 0.3.0
+-
+- The following changes have been performed
| - install astring 0.8.5
| - install base-bytes base
| - install bigarray-compat 1.1.0
| - install camlp4 4.07+1
| - install cmdliner 1.0.4
| - install conf-libffi 2.0.0
| - install conf-pkg-config 4
| - install cppo 1.8.0
| - install ctypes 0.20.2
| - install ctypes-foreign 0.18.0
| - install hardcaml 1.2.0
| - install integers 0.7.0
| - install jbuilder 1.0+beta20.2
| - install js_of_ocaml 3.9.0
| - install js_of_ocaml-camlp4 3.1.0
| - install js_of_ocaml-compiler 3.9.1
| - install menhir 20211012
| - install menhirLib 20211012
| - install menhirSdk 20211012
| - install num 1.5-1
| - install ocaml-compiler-libs v0.12.3
| - install ocaml-migrate-parsetree 2.4.0
| - install ocamlbuild 0.14.3
| - install ppx_derivers 1.2.1
| - install ppxlib 0.20.0
| - install seq base
| - install sexplib0 v0.15.0
| - install stdlib-shims 0.3.0
| - install topkg 1.0.7
| - install uchar 0.0.2
| - install yojson 2.0.2
+-
<><> ocaml-migrate-parsetree.2.4.0 installed successfully <><><><><><><><><><><>
=> Note: This package is deprecated.
<><> jbuilder.1.0+beta20.2 installed successfully <><><><><><><><><><><><><><><>
=> Note: This package is deprecated.
# To update the current shell environment, run: eval $(opam env)
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/4.07/.opam-switch/backup/state-20250206030902.export"
On This Page