Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.1.1 released: https://ocaml.org/releases/5.1.1 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
sixfourtwelve has quit [Quit: leaving]
cr1901_ is now known as cr1901
Tuplanolla has quit [Quit: Leaving.]
jabuxas has quit [Ping timeout: 268 seconds]
pi3ce has joined #ocaml
companion_cube has quit [Quit: WeeChat 4.1.2]
discocaml has quit [Remote host closed the connection]
ocabot has quit [Remote host closed the connection]
ocabot has joined #ocaml
discocaml has joined #ocaml
companion_cube has joined #ocaml
mbuf has joined #ocaml
xd1le has quit [Quit: xd1le]
dnh has joined #ocaml
dnh has quit [Ping timeout: 260 seconds]
dnh has joined #ocaml
dnh has quit [Client Quit]
dnh has joined #ocaml
dnh has quit [Ping timeout: 255 seconds]
bartholin has joined #ocaml
Tuplanolla has joined #ocaml
rak has quit [Quit: Segmentation fault (core recycled)]
rak has joined #ocaml
octachron has quit [Quit: ZNC 1.8.2 - https://znc.in]
octachron has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
torretto_ has quit [Remote host closed the connection]
torretto has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
nickiminjaj has joined #ocaml
nickiminjaj has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nickiminjaj has joined #ocaml
nickiminjaj has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
fererrorocher has quit [Quit: WeeChat 4.2.1]
fererrorocher has joined #ocaml
jabuxas has joined #ocaml
<discocaml> <lokasku> ```
<discocaml> <lokasku> $ opam install dream
<discocaml> <lokasku> [ERROR] No switch is currently set. Please use 'opam switch' to set or install a switch
<discocaml> <lokasku> ```
<discocaml> <lokasku> Is this due to the fact that there is no `.opam` in the current folder?
<discocaml> <lokasku> Is this due to the fact that there is no `.opam` in my current folder?
<discocaml> <._null._> No, it's due to the fact that no opam switch is set. Either you didn't do opam init, it didn't go to the end or you deleted your current switch. Use opam switch to fix this
<discocaml> <lokasku> `opam init` generates nothing at all.
<discocaml> <Kali> have you run `eval $(opam env)`
<discocaml> <lokasku> Yes
<discocaml> <._null._> What does opam switch show?
<discocaml> <lokasku> I'm using nixos, by the way, but I don't know if that's a factor
<discocaml> <lokasku> ```
<discocaml> <lokasku> # switch compiler description
<discocaml> <lokasku> ```
<discocaml> <._null._> Opam global switch are a bit antithetical to the Nix philosophy
<discocaml> <._null._> Opam global switches are a bit antithetical to the Nix philosophy
<discocaml> <._null._> I think you're just supposed to install all ocaml packages through nix
fererrorocher has quit [Quit: WeeChat 4.2.1]
fererrorocher has joined #ocaml
dnh has joined #ocaml
Anarchos has joined #ocaml
torretto has quit [Ping timeout: 260 seconds]
torretto has joined #ocaml
dnh has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dnh has joined #ocaml
nickiminjaj has joined #ocaml
nickiminjaj has quit [Changing host]
nickiminjaj has joined #ocaml
alexherbo2 has joined #ocaml
nickiminjaj has quit [Quit: Textual IRC Client: www.textualapp.com]
mal`` has quit [Quit: Leaving]
fererrorocher has quit [Quit: WeeChat 4.2.1]
fererrorocher has joined #ocaml
fererrorocher has quit [Quit: WeeChat 4.2.1]
mal`` has joined #ocaml
mbuf has quit [Quit: Leaving]
<discocaml> <lokasku> Hi, I'm installing Dream, and I have this flake:
<discocaml> <lokasku> ```nix
<discocaml> <lokasku> let
<discocaml> <lokasku> pkgs = import <nixpkgs> {};
<discocaml> <lokasku> ocamlPackages = pkgs.ocaml-ng.ocamlPackages_4_12;
<discocaml> <lokasku> dream = ocamlPackages.buildDunePackage rec {
<discocaml> <lokasku> pname = "dream";
<discocaml> <lokasku> version = "0.15.0";
<discocaml> <lokasku>
<discocaml> <lokasku> minimalOCamlVersion = "4.12";
<discocaml> <lokasku>
<discocaml> <lokasku> src = pkgs.fetchFromGitHub {
<discocaml> <lokasku> owner = "aantron";
<discocaml> <lokasku> repo = pname;
<discocaml> <lokasku> rev = version;
<discocaml> <lokasku> hash = "sha256-vVRjQzDDeaiY047bBS0Ncvz1p3SpH8nlLBUs3Ay2aIs=";
<discocaml> <lokasku> };
<discocaml> <lokasku> propagatedBuildInputs = [
<discocaml> <lokasku> ocamlPackages.lwt_ppx
<discocaml> <lokasku> ocamlPackages.magic-mime
<discocaml> <lokasku> ];
<discocaml> <lokasku> };
<discocaml> <lokasku> in
<discocaml> <lokasku> pkgs.mkShell {
<discocaml> <lokasku> packages = [
<discocaml> <lokasku> pkgs.opam
<discocaml> <lokasku> pkgs.ocaml
<discocaml> <lokasku> pkgs.dune_3
<discocaml> <lokasku> ocamlPackages.findlib
<discocaml> <lokasku> ocamlPackages.ocaml-lsp
<discocaml> <lokasku> ] ++ [ dream ];
<discocaml> <lokasku> }
<discocaml> <lokasku> ```nix
<discocaml> <lokasku> error: builder for '/nix/store/kqgwf0vmhxa3asg2mpc7cc5jxh3lr79w-ocaml4.12.1-dream-0.15.0.drv' failed with exit code 1;
<discocaml> <lokasku> last 10 log lines:
<discocaml> <lokasku> > File "src/unix/dune", line 6, characters 2-12:
<discocaml> <lokasku> > 6 | dream-pure
<discocaml> <lokasku> > ^^^^^^^^^^
<discocaml> <lokasku> > Error: Library "dream-pure" not found.
<discocaml> <lokasku> > -> required by library "dream.unix" in _build/default/src/unix
<discocaml> <lokasku> > -> required by _build/default/META.dream
<discocaml> <lokasku> > -> required by _build/install/default/lib/dream/META
<discocaml> <lokasku> > -> required by _build/default/dream.install
<discocaml> <lokasku> > -> required by alias install
<discocaml> <lokasku> >
<discocaml> <lokasku> ```I have this error telling me that `dream-pure` is missing
<discocaml> <lokasku> But it's a Dream module, not a dependency. What should I do for those who use Nix
<discocaml> <smondet> (There is a #nix channel BTW)
<discocaml> <lokasku> Sorry
<Anarchos> lokasku you can also use a paste website for error logs and just post the url here
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #ocaml
<Anarchos> my config.log says natdynlink='true' but i can't find dynlink.cmxs after make world.opt.
<Anarchos> i am on 4.14.2
Anarchos has quit [Quit: Vision[]: i've been blurred!]
zanetti has joined #ocaml
jabuxas has quit [Ping timeout: 268 seconds]
fererrorocher has joined #ocaml
zanetti has quit [Quit: zanetti]
fererrorocher has quit [Quit: WeeChat 4.2.1]
fererrorocher has joined #ocaml
Anarchos has joined #ocaml
jabuxas has joined #ocaml
oriba has joined #ocaml
pi3ce has quit [Ping timeout: 240 seconds]
pi3ce has joined #ocaml
<Anarchos> do people compiled compcert here ?
fererrorocher has quit [Quit: WeeChat 4.2.1]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
bartholin has quit [Quit: Leaving]
alexherbo2 has quit [Remote host closed the connection]