oasis picks up wrong ocamlbuild

Frédéric Lang

I try to compile an Ocaml project with an Ocaml version provided by Opam. My ocamlbuild, ocamlfind, and oasis seem OK :

/Users/fred/.opam/4.02.1/bin/ocamlbuild
dhcp-182-73:compil fred$ which ocamlfind
/Users/fred/.opam/4.02.1/bin/ocamlfind
dhcp-182-73:compil fred$ which oasis
/Users/fred/.opam/4.02.1/bin/oasis

But when I try to compile, it seems that a wrong version of ocamlbuild is called, and even the version of ocamlfind is right, I think that it explains why ocamlfind can't find the sexplib library.

$ make
ocaml setup.ml -build 
Finished, 0 targets (0 cached) in 00:00:00.
+ /Users/fred/.opam/system/bin/ocamlfind ocamldep -package threads -package sexplib.syntax -package core -package comparelib.syntax -modules  src/tricot/tricot.mli > src/tricot/tricot.mli.depends
ocamlfind: Package `sexplib.syntax' not found
Command exited with code 2.
Compilation unsuccessful after building 1 target (0 cached) in 00:00:00.
E: Failure("Command ''/usr/local/bin/ocamlbuild' src/tricot/tricot.cma src/tricot/tricot.cmxa src/tricot/tricot.a src/tricot/tricot.cmxs src/compil/compil.cma src/compil/compil.cmxa src/compil/compil.a src/compil/compil.cmxs src/main.native -use-ocamlfind -tag debug' terminated with error code 10")
make: *** [build] Error 1

I've tried to tell oasis which version of ocambuild to use without success, does someone knows how it could be done ? Thanks

Thomas Leonard

Try deleting setup.data and running make again. Oasis caches the paths the first time you try to build, and doesn't update them automatically afterwards. Perhaps you tried to build it, then used opam switch, then tried to build it again?

Collected from the Internet

Please contact [email protected] to delete if infringement.

edited at
0

Comments

0 comments
Login to comment

Related

From Dev

Using Ocamlbuild plugins with Oasis

From Dev

Zxing sometimes picks up the wrong data from barcode

From Dev

Wordpress Picks Up Wrong Template for Custom Post Type Archive Page

From Dev

R install.packages picks up wrong binary

From Dev

Datepicker picks wrong date

From Dev

Xcode picks up wrong info.plist file when generating the .app file

From Dev

Compiler picks wrong overloaded function

From Dev

Two README files, Doxygen picks the wrong one

From Dev

Single Jasmine test slow, picks up everything

From Dev

Microphone always picks up sound and routes it to speakers

From Dev

Java SSL picks wrong cert, ignores key usage

From Dev

Phusion Passenger Web application could not be started / picks wrong ruby

From Dev

C++ member function overloading picks wrong function

From Dev

Phusion Passenger Web application could not be started / picks wrong ruby

From Dev

EntityFramework db context picks us wrong connection string in Azure WebJob

From Dev

How Spring Data JPA picks up / identifies underlying JPA Provider?

From Dev

angular controller only picks up the input values changed

From Dev

How to create a predicate that picks up a specific sort of atoms from a list?

From Dev

UIMA Ruta Workbench picks up an incorrect descriptor path

From Dev

jQuery UI Drag and Drop: Target picks up incorrect droppable area

From Dev

IE 11 picks up only some css rules but not others

From Dev

Quartz job to read wildcard filename only picks up one file

From Dev

CSV reader picks up garbage in the first few characters

From Dev

How to guarantee only one process picks up a processing task

From Dev

jQuery UI Drag and Drop: Target picks up incorrect droppable area

From Dev

IE 11 picks up only some css rules but not others

From Dev

setImage always picks up 1x image

From Dev

get last 7 days when user picks up a date

From Dev

SASS: Using the parent reference (&) inside and @if ... @else structure. & picks up else instead of parent

Related Related

  1. 1

    Using Ocamlbuild plugins with Oasis

  2. 2

    Zxing sometimes picks up the wrong data from barcode

  3. 3

    Wordpress Picks Up Wrong Template for Custom Post Type Archive Page

  4. 4

    R install.packages picks up wrong binary

  5. 5

    Datepicker picks wrong date

  6. 6

    Xcode picks up wrong info.plist file when generating the .app file

  7. 7

    Compiler picks wrong overloaded function

  8. 8

    Two README files, Doxygen picks the wrong one

  9. 9

    Single Jasmine test slow, picks up everything

  10. 10

    Microphone always picks up sound and routes it to speakers

  11. 11

    Java SSL picks wrong cert, ignores key usage

  12. 12

    Phusion Passenger Web application could not be started / picks wrong ruby

  13. 13

    C++ member function overloading picks wrong function

  14. 14

    Phusion Passenger Web application could not be started / picks wrong ruby

  15. 15

    EntityFramework db context picks us wrong connection string in Azure WebJob

  16. 16

    How Spring Data JPA picks up / identifies underlying JPA Provider?

  17. 17

    angular controller only picks up the input values changed

  18. 18

    How to create a predicate that picks up a specific sort of atoms from a list?

  19. 19

    UIMA Ruta Workbench picks up an incorrect descriptor path

  20. 20

    jQuery UI Drag and Drop: Target picks up incorrect droppable area

  21. 21

    IE 11 picks up only some css rules but not others

  22. 22

    Quartz job to read wildcard filename only picks up one file

  23. 23

    CSV reader picks up garbage in the first few characters

  24. 24

    How to guarantee only one process picks up a processing task

  25. 25

    jQuery UI Drag and Drop: Target picks up incorrect droppable area

  26. 26

    IE 11 picks up only some css rules but not others

  27. 27

    setImage always picks up 1x image

  28. 28

    get last 7 days when user picks up a date

  29. 29

    SASS: Using the parent reference (&) inside and @if ... @else structure. & picks up else instead of parent

HotTag

Archive