Discussions

• 1 You must be logged in to vote

  💡

  Libraries for inline_tests only

  wokalski started Jul 27, 2021 in Ideas

  

  

  3
• 1 You must be logged in to vote

  💬

  Portable and convenient way to make a library (.a/.lib) file included in the executable.

  F-Loyer started Feb 2, 2024 in General

  

  

  0
• 1 You must be logged in to vote

  🙏

  Running ppx_inline_test in parallel

  naim-mr asked Nov 14, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  What is the simplest way to run pkg-config commands in a dune file [question]?

  UnixJunkie asked Nov 2, 2023 in Q&A · Unanswered

  

  

  

  

  6
• 1 You must be logged in to vote

  💬

  What's the goal of the TUI mode?

  favonia started Oct 22, 2023 in General · Closed

  

  

  

  

  28
• 1 You must be logged in to vote

  🙏

  Dev Container isn't bootstrapping properly (VScode, macOS, Docker Desktop)

  ELLIOTTCABLE asked Sep 18, 2023 in Q&A · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🙏

  dune can not work with ocaml trunk version

  github-neilwong asked Sep 13, 2023 in Q&A · Answered

  

  

  

  

  8
• 1 You must be logged in to vote

  💬

  installing dune-configurator

  progman1 started Aug 25, 2023 in General

  

  

  1
• 1 You must be logged in to vote

  🙏

  Is it possible to hide documents of private modules?

  toku-sa-n asked Aug 24, 2023 in Q&A · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Using dune to build a package of a verifiied programming language

  DasNaCl asked Aug 3, 2023 in Q&A · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  💬

  How does make bootstrap work?

  unfode started Jul 21, 2023 in General · Closed

  

  

  7
• 1 You must be logged in to vote

  🙏

  Is there a way to locate the dune file which defines a certain library

  haochenx asked Feb 9, 2023 in Q&A · Closed · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Issue in dune installation

  spikeHollow asked Jun 24, 2023 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  dune build @check, but only for a specific target

  ELLIOTTCABLE asked Jan 31, 2023 in Q&A · Unanswered

  

  

  

  

  4
• 1 You must be logged in to vote

  🙏

  -output-obj for dynamic libraries?

  db4 asked May 23, 2023 in Q&A · Closed · Unanswered

  

  

  13
• 1 You must be logged in to vote

  🙏

  Unknown package

  Shamaoke asked Feb 5, 2023 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  💬

  New contributor getting an error from make dev

  petr-tik started Dec 21, 2022 in General

  

  

  3
• 1 You must be logged in to vote

  💡

  dune build should build current directory's package, not entire dune project

  mimoo started Oct 24, 2022 in Ideas

  

  

  22
• 1 You must be logged in to vote

  🙏

  RPC...

  progman1 asked Oct 5, 2022 in Q&A · Unanswered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Confused with dune exec ./bin/main.exe, why file not exists, but still can execute

  ghost asked Jun 20, 2022 in Q&A · Unanswered

  

  

  

  

  7
• 1 You must be logged in to vote

  🙏

  Got this error message while trying to build Hello_world project

  config Everything related to dune configuration (workspace, project, dune, env) question This issue is a question about something

  robertblackwell asked May 28, 2022 in Q&A · Unanswered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Please add to README how to build additional packaged like dune-configurator

  yurivict asked Aug 30, 2021 in Q&A · Unanswered

  

  

  

  

  5
• 1 You must be logged in to vote

  🙏

  How to compile plugins without access to main application source code

  Aurel300 asked May 23, 2022 in Q&A · Unanswered

  

  

  0
• 1 You must be logged in to vote

  💬

  Include a module and change the implementation of its dependencies

  francoisthire started Jun 7, 2020 in General

  

  

  4
• 1 You must be logged in to vote

  🙏

  Hello world example on Linux gives "Error: I cannot find the root of the current workspace/project"

  ndchorley asked Apr 9, 2022 in Q&A · Answered

  

  

  1