Questions tagged [ocamlfind]

Findlib is a library manager for Objective Caml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts.

Findlib is a library manager for Objective Caml. It provides a convention how to store libraries, and a file format ("META") to describe the properties of libraries. There is also a tool (ocamlfind) for interpreting the META files, so that it is very easy to use libraries in programs and scripts.

The information in META includes version string, compiler options for using the library, and dependencies on other libraries. Writing META files is straight-forward, and comes close to filling out a template.

The ocamlfind tool makes it very easy to use libraries from O'Caml programs. Basically, ocamlfind is a compiler driver that interprets some additional command-line switches for selecting libraries. It is also possible to use ocamlfind as query tool to extract data from the library base.

After years of development, Findlib is now the de-facto standard for library management in O'Caml. A lot of free software for O'Caml now requires that Findlib is available on the system. Distributions like GODI and Debian ensure that all libraries come with META files.

77 questions
0
votes
1 answer

Frama-c installation- configure: error: Cannot find ocamlfind

xhy0908deMacBook-Pro:frama-c-Phosphorus-20170501 xhy0908$ ./configure configure: ****************** configure: * CONFIGURE MAKE * configure: ****************** checking for make... make checking version of make... 3.81 configure:…
Haiyin
  • 1
  • 1
0
votes
0 answers

ocamlfind query ... terminated with error code 2

I am trying to install the ocaml package from this GitHub: https://github.com/jfeser/L2 On Linux Ubuntu 14.04. I've installed ocaml and relevant tools (I think) with: sudo apt-get install ocaml sudo apt-get install opam But when I'm trying to run…
OrenIshShalom
  • 5,974
  • 9
  • 37
  • 87
0
votes
0 answers

import core.std to plugin of frama-c

I have other problem, I have tried change Makefile for include Core.Std, I would like to use it, for the module List. This is my MakeFile. FRAMAC_SHARE :=$(shell frama-c-config -print-share-path) FRAMAC_LIBDIR :=$(shell frama-c-config…
0
votes
2 answers

Compilation error with sexplib

I need to use Sexplib in my program. I tried ocamlc sexplib.cma prog.ml Error: Unbound module Sexplib and I got the error. But I can use Sexplib in top level if I load ppx_sexp_conv package first: #require "ppx_sexp_conv";; open Sexplib;; So I…
0
votes
1 answer

Ocamlbuild can't find Ocamlbuild_js_of_ocaml cmx file

I'm starting an web development project and was hoping to use Js_of_ocaml. However, when attempting to use OCamlbuild as my build tool, I've encountered the following error: Warning 58: no cmx file was found in path for module…
superlizardmo
  • 333
  • 1
  • 11
0
votes
1 answer

ocamlfind complains no implementation provided for modules installed through opam

I was messing around with the OCaml FFI to try to figure out how it goes about inferring the width of a C enum (which I think is implementation-defined for C) and am trying to insert a type of the wrong width to see what blows up at runtime. That's…
Greg Nisbet
  • 6,710
  • 3
  • 25
  • 65
0
votes
1 answer

difficulty installing ocamlfind under cygwin4

I have installed ocaml under cygwin64 (a Windows 10 computer). Ocaml, ocamlc seem to run fine, but I need packages. So I've tried opam, and it complained that ocamlfind was missing. I have tried to install ocamlfind it two ways - using opam and from…
Amir
  • 1
  • 1
0
votes
1 answer

Understanding Oasis findlibParent's purpose

I am currently working on a project where I am using Oasis to handling building of the OCaml files. It works great. However I am confused at what findlibParent is actually doing in a library definition. The documentation specifies FindlibParent:…
user6467981
0
votes
1 answer

Installing Compcert-2.6 on 64bit Mac

I got the following error when compiling compcert 2.6 on 64bit macos $./configure ia32-macosx ... $make ... /Applications/Xcode.app/Contents/Developer/usr/bin/make -f Makefile.extr ccomp ocamlfind: Package `menhirLib' not found OCAMLOPT…
Ugur Koc
  • 53
  • 7
0
votes
2 answers

Using ocamlfind with local directories

Since I don't have root access on a workstation, I installed oUnit locally, into ~/ounit. I can load the module in the interpreter if I run ocaml -I ~/ounit/oUnit Now I'd like to run the test, so I try to compile it: ocamlfind ocamlc -o test…
marmistrz
  • 5,974
  • 10
  • 42
  • 94
0
votes
1 answer

Difference in program behavior with different make files

I have this OCaml program open Core.Std;; open Printf;; let all l = List.fold ~f:(&&) ~init:true l;; let any l = List.fold ~f:(||) ~init:false l;; let main () = let bools = [true; false; true; true; false; true] in printf "%b %b\n" (all bools)…
Joshua Snider
  • 705
  • 1
  • 8
  • 34
0
votes
2 answers

Installing core library

I am new to ocaml. I am trying to install core and utop with OPAM 1.1.1 However I am getting the following: mario@mario-VirtualBox:~$ opam install core The following actions will be performed: - install ocamlfind.1.4.0 …
0
votes
1 answer

OCaml compile error with ocamlfind

Here is the code: class parser = let test1 = function | 1 -> print_int 1 | 2 -> print_int 2 | _ -> print_int 3 in let test = function | 1 -> print_int 1 | 2 -> print_int 2 | _ -> print_int 3 in object(self) end Here is the _tags true:…
lllllllllllll
  • 8,519
  • 9
  • 45
  • 80
0
votes
1 answer

Opam / findlib warning "... has multiple definitions"

I have a local installation of opam in my home directory and a (fedora) package installation of the ocaml compiler and several libraries. Running a ocamlbuild command in any project gives a lot of warnings: findlib: [WARNING] Package dynlink has…
choeger
  • 3,562
  • 20
  • 33
0
votes
0 answers

Making gtk's pkg-config --libs not include a newline on windows

I recently installed GTK from http://ftp.gnome.org/pub/gnome/binaries/win32/gtk+/2.24/gtk+-bundle_2.24.10-20120208_win32.zip. The pkg-config installed from this seems to like appending ^M to its lines, at least in some cases: $…
Jason Gross
  • 5,928
  • 1
  • 26
  • 53