Installation: proofgold-0.1.7 Freebsd 11.3

by Drone1Dewey, Friday, August 21, 2020, 12:13 (471 days ago)

Installation proofgold-0.1.7 : Freebsd 11.3:

a) #!/bin/bash --> #!/usr/local/bin/bash in

configure
makebytecode

b) pkg install ocaml gmake math/ocaml-zarith

c) ~# find /usr/local -name "*zari*"

/usr/local/share/doc/ocaml/zarith
/usr/local/share/licenses/ocaml-zarith-1.4.1
/usr/local/lib/ocaml/site-lib/zarith
/usr/local/lib/ocaml/site-lib/zarith/libzarith.a
/usr/local/lib/ocaml/site-lib/zarith/zarith.h
/usr/local/lib/ocaml/site-lib/zarith/dllzarith.so
/usr/local/lib/ocaml/site-lib/zarith/zarith.cma
/usr/local/lib/ocaml/site-lib/zarith/zarith.cmxa
/usr/local/lib/ocaml/site-lib/zarith/zarith.a
/usr/local/lib/ocaml/site-lib/zarith/zarith.cmxs

d) +zarith --> /usr/local/lib/ocaml/site-lib/zarith in

Makefile.in
makebytecode

e)
./configure
./gmake
./makebytecode

f) run:

CAML_LD_LIBRARY_PATH=/usr/local/lib/ocaml/site-lib/zarith ./bin/proofgold