Skip to content

Issues: ocaml/dune

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

600 Open 1,407 Closed
600 Open 1,407 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

(public_name -) different behaviour between executable and executables docs
#5852 opened Jun 8, 2022 by maiste
3
[coq] sandbox extraction rules coq
#5835 opened Jun 5, 2022 by Alizter
18
Windows error report interleaves with newlines
#5834 opened Jun 5, 2022 by Alizter
Error: file not available when depending on an external dep coq
#5833 opened Jun 5, 2022 by ejgallego
4
[coq] Adding a "patch" field to coq.extraction coq
#5832 opened Jun 5, 2022 by YaZko
2
[coq] Improve support for Coq's native compiler coq
#5831 opened Jun 5, 2022 by ejgallego
11
--verbose should not output $ since this confuses cram tests
#5828 opened Jun 4, 2022 by Alizter
Opam-project depends syntax for package alternatives
#5815 opened Jun 2, 2022 by AllanBlanchard
Binaries installed using dune and dune-site via opam cannot find sites
#5814 opened Jun 2, 2022 by toots
@bobot
9
ctypes stanza does not compile cstubs .o files with -fPIC ctypes
#5809 opened Jun 2, 2022 by droyo
6
[minor] XDG default values do not seem right under Windows accepted windows
#5808 opened Jun 1, 2022 by nojb
Actually mention what composition is in the refman docs
#5806 opened Jun 1, 2022 by Alizter
dune init proj breaks if PATH is specified
#5804 opened Jun 1, 2022 by haesbaert
Support a file list in cat user action accepted feature-request help wanted
#5795 opened May 30, 2022 by MisterDA
1
Got this error message while trying to build Hello_world project
#5789 opened May 28, 2022 by robertblackwell
Confusing message about non-existent module
#5787 opened May 27, 2022 by philix
Watch mode incorrectly reports no space left on device when complaing about _build
#5786 opened May 26, 2022 by Alizter
1
unset INSIDE_DUNE inside tests
#5785 opened May 26, 2022 by Alizter
1
directory-targets are not built by @all
#5783 opened May 26, 2022 by Alizter
Current Dune alias syntax can't work reliably on Windows windows
#5775 opened May 25, 2022 by jonahbeckford
3
Infinite loop in cycle checking
#5771 opened May 24, 2022 by rgrinberg
Pass --open to odoc for mld files enhancement odoc
#5770 opened May 24, 2022 by favonia
2
META.pkg is illformed
#5767 opened May 24, 2022 by gares
11
Select compilation asset based on alias
#5764 opened May 23, 2022 by toots
[coq] Update test version of Coq when Coq 8.16 is released. coq
#5759 opened May 23, 2022 by Alizter
ProTip! Follow long discussions with comments:>50.