I'm trying to get an OCaml environment set up, and I've followed the instructions from appendix A of the Real World OCaml beta. I set up opam, and installed a version of OCaml with the command $ op...

dune will generate and update a project's .opam file when you run dune build, letting you just manage the project's dependencies in dune-project. However, this seems to require an awkward step when...

I want to run opam init in docker but get the error: (iit_synthesis) brandomiranda~ ❯ docker build -t brandojazz/pycoq:test_brando ~/pycoq/tutorial/ [+] Building 1.5s (12/19) => [internal] loa...

When I get into my container nothing seems to have ebeen installed? docker pull brandojazz/iit-term-synthesis:test then docker run -u root -ti brandojazz/iit-term-synthesis:test_arm bash see: (bas...

I have a very long list of coq projects I want to automatically install with opam pin/install. I'd like to install them with opam because I am using this python tool (PyCoq) that uses opam pin/inst...

I am attempting to install OCaml via the OCaml opam package manager on MacOs. I have successfully installed opam via homebrew. Initiating the package manager with opam init yields the following err...

I am currently using the standard one I installed the standard way (probably through the website). But I want to use tcoq. I believe I have installed it correctly because I have a bin file and all ...

I discovered that one can install much more than python stuff in conda. I am instlaling opam with conda for ubuntu with: conda install -c conda-forge opam and wanted to do it for my mac. Got some ...

I keep seeing eval $(opam env) e.g. when I try to install coq: # brew install opam # for mac # for ubuntu conda install -c conda-forge opam opam init # if doing local env? # eval $(opam env)...

I'm trying to install a simple linux environment with opam on docker: $ type .\Dockerfile_Opam.txt FROM ubuntu:22.04 RUN \ apt-get update -y && \ apt-get install opam -y && \ opam i...

I am new to OCaml which I installed via opam. My compiler is dune. Each time I build my project and run it, it crashes but I get no information from where it crashes in the code. A friend of mine w...

How can I install OCaml with OPam on windows?

I'm running into an issue installing a package that's reliant on ocamlfind. I'm getting an ocamlfind: command not found error when running make. I have installed ocamlfind with the OCaml package ma...

I am trying to install a coq-contrib package OPAM. I am still new to OPAM and Coq. I was using OPAM 1.2.2 and was getting this: $ opam install coq-graph-basics Your request can't be satisfied: - N...

How can I install a specific version of ocaml compiler (and compatible packages) using opam (or another package manger)? I took a quick look through the opam documentation, but I don't find a rele...

Now I try to write a compiler using ocamlfind and some packages, especially ppx_sexp_conv with opam. Somehow dependencies of ppx_sexp_conv require compiler-libs so the compilation option -I ~/.opam...

I'm trying to learn OCaml through the Real World OCaml book. They have a guide by which I am supposed to install the Core package and utop. However, while I seem to be successfully installing both ...

I'm basically trying to follow this stackoverflow answer located in this post: What is the best module for HttpRequest in OCaml and I'm running in to problems. When I am trying to run a single f...

I followed this tutorial on OCaml FFI and installed Ctypes through OPAM: opam install ctypes However, OCaml does not find the module: open Ctypes (* ... *) I receive the error: Unbound modul...

I want to locally recompile/reinstall a package that has already been downloaded via OPAM, but without downloading it again. opam reinstall seems to always re-download the package, and I see no op...

I am a new OCaml user. I have asked a question to learn how to set up a basic OCaml project, but I still have issues. Jump to the end for a TL;DR For instance, I am trying to learn Irmin. On the h...

I am a complete newbie to OCaml. Other languages I have used (for instance Scala, Clojure, Javascript on Node.js) have package managers that allow one to start a project as a clean slate that has a...

I'm working on llvm OCaml bindings. I installed llvm package through opam (opam install llvm), when I use llvm in utop, I get the following error: #require "llvm";; Error: The external fu...

I have two ocaml projects being compiled with ocaml 4.02.1. Is there a way to create separate opam installations for each project instead of having both projects install their dependencies in the g...

I have a project, which offers different features in different git branches. I believe, this is mostly done to simplify external dependencies (that is someone who wants to work with sqlite will not...