Stack Overflow
Stack Overflow

Questions tagged [opam]

OPAM is the standard tool to manage OCaml source packages

OPAM is the standard tool to manage (search, install, remove) OCaml source packages. It is being developed by OCamlPro, with funding by Jane Street and the European Union.

OPAM website is:

http://opam.ocamlpro.com/

The website includes both easy to install binaries for Linux, links to the sources on GitHub and a repository of source packages for many OCaml libraries and applications.

292 questions
2
votes
1 answer

What is the proper way to install bubblewrap for opam (ideally without admin priviledges)?

I am getting this error: (iit_synthesis) brando9~ $ bash -c "sh <(curl -fsSL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)" ## Using already downloaded "/tmp/user/22003/opam-2.1.4-x86_64-linux" ## Where should it be installed…
Charlie Parker
  • 5,884
  • 57
  • 198
  • 323
2
votes
1 answer

cannot install OCaml on windows: permission error

I am trying to follow this guide to install OCaml on windows. All I've done is download the latest installer from here, but when I try to run it I get: FATAL [ebe9e0f2]. rename…
Vanessa
  • 145
  • 1
  • 5
2
votes
2 answers

Ocaml: Load an external library from Git in my dune project using opam

I have my main dune project, which includes an implementation for a small parser library. Ideally, I would like to put the parser library into a different package and just depend on that in my main dune project somehow. The way I would do this in…
Prophet
  • 186
  • 8
2
votes
1 answer

redundant eval $(opam env) needed in Dockerfile

I successfully installed coqc with Dockerfile. Why do I need to run eval $(opam env) again when I execute the docker? ############## # # # image name # # # ############## FROM ubuntu:22.04 ################# # # #…
OrenIshShalom
  • 5,974
  • 9
  • 37
  • 87
2
votes
1 answer

Adding an old version of Ocaml to Opam

I am trying to install Coq version 8.10.2 using Opam and from this output, I assume Coq 8.10.2 needs an ocaml compiler with version < 4.10 Missing dependency: - (invariant) -> coq = 8.10.2 -> ocaml < 4.10 -> ocaml-base-compiler < 3.07+1 |…
Shubham Sondhi
  • 41
  • 3
2
votes
1 answer

Merlin on Emacs (GUI) does not get merlin's configuration provided by dune

First, please know that I am a beginner with Dune and project management in Ocaml. Nevertheless, I have installed Dune and created a new Dune-project which deals with camlimages library, graphics, etc. Project compilation and execution works well…
Glouton01
  • 21
  • 2
2
votes
0 answers

Is there a way with dune or opam to check that the installed ocaml compiler version is compliant with the specifications

I have a dune-project file that specifies that my ocaml compiler should be at least 4.05.0 I created a configure file to check that all I need is properly installed (using a mix of Unix.open_process_in "which " and dune external-lib-deps…
Lhooq
  • 4,281
  • 1
  • 18
  • 37
2
votes
0 answers

Issue when installing lablgtk with opam

I'l trying to install a package (https://github.com/SchornacklabSLCU/amfinder) that use opam to install several libraries. However, two libraries failed to install: lablgtk and cairo2-gtk.I tried to install these two directly via opam (opam install…
alr
  • 21
  • 1
2
votes
1 answer

opam init fails to verify certificate

On a completely fresh ubuntu 18.04 VM I tried to install opam: $ wget https://github.com/ocaml/opam/releases/download/2.1.0/opam-2.1.0-x86_64-linux $ mv opam-2.1.0-x86_64-linux opam $ chmod 777 opam $ ./opam init And here is the error I got <><>…
OrenIshShalom
  • 5,974
  • 9
  • 37
  • 87
2
votes
1 answer

opam switch list-available says no matches found

I tried following the installation process for opam. After that, I tried to use opam to install a package: > opam install lwt [ERROR] No switch is currently set. Please use 'opam switch' to set or install a switch Then I try: > opam switch…
What_Is_CoMpUtErScIeNcE
  • 209
  • 3
  • 11
2
votes
1 answer

opam init fails - unable to create temp file

I have installed opam 2.1.0 on a Linux Virtualbox VM. When I try opam init, I get the following error: <><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><> [ERROR] Could not update repository "default":…
Motorhead
  • 928
  • 6
  • 16
2
votes
1 answer

Why are rational numbers from Num printed as ?

I continue with my exploration on the Num library of Ocaml, with the reason that one whole library about logics was written using it. Today, I would like to make the negative of a rational number. Obtain -1/2, from 1/2. To do so, I think that, given…
Theo Deep
  • 666
  • 4
  • 15
2
votes
1 answer

Dune: build library and access it in another project and hide or make inaccessible private or implementation modules

I am using Dune for building OCaml projects and I'd like to build a standalone library for reusing it in other projects. The root folder of the library is mylib and the library was initialized with dune init lib mylib src (after cd mylib). The…
Oliver
  • 926
  • 2
  • 12
  • 31
2
votes
1 answer

How to install a specific OCaml branch on github as an opam switch

After I asked a SO-question on periodic I/O buffer flushing in OCaml, I found out that the procedure I was proposing did not work reliably due to a bug in the OCaml runtime. The good news: the bug was fixed in a development version, which is…
repeat
  • 18,496
  • 4
  • 54
  • 166
2
votes
1 answer

Configure OPAM switch for installation of Coq packages

Since OPAM 2.0, after installation one is required to create/select a "switch" before installing packages. If all I'm using OPAM for is Coq packages, what should I use as my switch?
Carl Patenaude Poulin
  • 6,238
  • 5
  • 24
  • 46
1 2 3
…
19 20