matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
2,325 Commits 50 Branches 27 Tags 8.1 MiB
Commit Graph

201 Commits

Author SHA1 Message Date
Rudi Grinberg 12bf6bda4a Fix #1107 
-opaque should be passed for mli only modules or for all modules when opaque
 mode is on

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-07 13:05:37 +03:00
Etienne Millon f5c45a72a8 Do not duplicate profile in missing deps message 
Closes #1106

Signed-off-by: Etienne Millon <me@emillon.org>
 2018-08-07 09:53:34 +00:00
Rudi Grinberg ecd29a1c81 Update CHANGES 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-07 12:17:17 +03:00
Rudi Grinberg f74a064aed Fix #1103 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-07 00:36:27 +03:00
Rudi Grinberg 58d0ccb713 Update CHANGES for 1.1.0 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-06 15:59:18 +03:00
Rudi Grinberg b3d87dc163 Update CHANGES 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-04 13:22:19 +03:00
Rudi Grinberg 55dbe740c6 Fix typo in CHANGELOG s/qualified/unqalified/ 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-02 21:04:38 +02:00
Etienne Millon 7129564d12 Fix placeholders in dune subst documentation 
They were substituted, leading to confusing documentation.

Signed-off-by: Etienne Millon <me@emillon.org>
 2018-08-02 14:30:59 +00:00
Rudi Grinberg 4cbd698527 Update CHANGELOG for -opaque by in dev 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-02 16:23:07 +02:00
Jérémie Dimino b05e28569e
Add support for staged ppx rewriters such as ones using the typer (#1080) 
Fix #193

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-08-02 12:11:59 +01:00
Jérémie Dimino 282c0b3c41
Add support for multi directory libraries and executables (#1034) 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-08-01 15:23:26 +01:00
Rudi Grinberg 919c0bc403 Don't use rst syntax in markdown file 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-01 10:07:29 +02:00
Rudi Grinberg 7d0a9c5cff Update CHANGELOG with optional names entry 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-08-01 10:07:24 +02:00
Jérémie Dimino 4e15fa1522
Fix #1070 (#1072) 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-31 18:06:17 +01:00
Rudi Grinberg 3e4720e479 CHANGES entry 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-07-31 11:01:08 +02:00
Rudi Grinberg 2836a3c6b0 Document the workspace level env stanza 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-07-30 15:12:17 +02:00
Rudi Grinberg 5683909fc3 Update changelog for 1.0.1 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-07-19 23:47:06 +02:00
Jeremie Dimino 213e093b07 Move back .pp files to the source directory 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-19 15:59:29 +01:00
Jeremie Dimino c52d0676e8 Fix #1019 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-16 14:04:07 +01:00
Jeremie Dimino dd4994495d Update changelog 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-12 14:55:38 +01:00
Rudi Grinberg 630c10edaf Update CHANGELOG 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-07-11 16:42:33 +02:00
Jeremie Dimino 94608b6f04 Update changelog regarding ${<} 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-10 16:55:45 +01:00
Jeremie Dimino 6b1046c1ea Update changelog for 1.0.0 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-10 15:33:12 +01:00
Jérémie Dimino d27377166b
Rename %{root} to %{workspace_root} (#993) 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-10 15:08:38 +01:00
Etienne Millon 1d594ce5a3 Fix typos in source code 
Signed-off-by: Etienne Millon <etienne@cryptosense.com>
 2018-07-10 13:05:58 +01:00
Jérémie Dimino d7222ae1a6
Fix detection of dynamic cycles (#988) 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-10 12:14:40 +01:00
Rudi Grinberg 61c189a6d4 Update CHANGES 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-07-10 01:32:26 +07:00
Rudi Grinberg b5b0a43554 Update CHANGES 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-07-09 01:15:46 +07:00
Jérémie Dimino 3348b6a913
Adapt the behavior of dune subst for dune projects (#960) 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-08 09:51:16 +01:00
Etienne Millon 35ff6466de Remove path-no-dep syntax 
See #944

Signed-off-by: Etienne Millon <etienne@cryptosense.com>
 2018-07-04 10:39:57 +02:00
Etienne Millon 628914fe28 Rename path to dep in dune files 
See #842

Signed-off-by: Etienne Millon <etienne@cryptosense.com>
 2018-07-03 15:59:52 +02:00
Jérémie Dimino e6a5ef9508
Add the lib_root and libexec_root install sections (#947) 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-03 10:49:18 +01:00
Jérémie Dimino e56fba9a57
Do not use opam-installer to copy files (#941) 
Instead of calling opam-installer, manually parse .install files and copy the files.

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-03 10:10:09 +01:00
Jérémie Dimino 438fef915f
Forbid #require in dune files in OCaml syntax (#938) 
And add run_and_read_lines to replace old use cases of Unix.open_process_in

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-02 08:17:53 +01:00
Rudi Grinberg f163f6197a
Merge branch 'master' into rename-build-profile 2018-07-02 13:45:00 +07:00
Rudi Grinberg 5f6e0f658f Update doc/changes regarding %{profile} 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-07-02 12:55:48 +07:00
Jeremie Dimino 9029c61539 Update changelog 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-01 21:57:17 +01:00
Jeremie Dimino 81bcd0f3e1 Add a "default" alias defined as follow: 
- if "default" is specified by the user explicitely, use this
  definition
- otherwise assume the following definition:

  (alias
   (name default)
   (deps (alias_rec install)))

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-01 21:50:44 +01:00
Jeremie Dimino 9a9445325d Update changelog 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-07-01 01:46:32 +07:00
Jeremie Dimino 2982567639 Make the default build profile be dev 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-06-28 11:23:10 +01:00
Jérémie Dimino 0f68e56f64
Remove most useless parentheses from the syntax (#915) 2018-06-27 16:38:05 +01:00
Jeremie Dimino f46a6aae53 Make (diff ...) work on Windows 
- make (diff ...) trailing cr on Win32
- add a (cmp ...) action for comparing binary files
- add a test and run it in AppVeyor

Fix #844

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-06-25 08:14:27 +01:00
Jérémie Dimino 0eb302252e
Improve the syntax of ppx rewriters and flags (#910) 
- old syntax: (pps (ppx1 -arg1 ppx2 (-foo x)))
- new syntax: (pps ppx1 -arg ppx2 -- -foo x)

Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-06-25 07:56:35 +01:00
Jeremie Dimino fc968efc4d Update changelog 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-06-20 16:17:22 +01:00
Jeremie Dimino 58997d9df7 Present menhir as an extension 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-06-20 16:06:38 +01:00
Jérémie Dimino 94c921f9c4
Rename files_recursively_in to source_tree (#899) 
Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
 2018-06-20 10:45:54 +01:00
Etienne Millon 96b01c569c Add link_deps field 
In some cases, the linking step requires some dependencies. For example,
passing a version script to the linker. The new `(link_deps)` field
uses the dependency DSL already used in other places.

Closes #852

Signed-off-by: Etienne Millon <etienne@cryptosense.com>
 2018-06-13 14:38:47 +02:00
Rudi Grinberg a97d2cfe05 Add a couple of entries to the change log 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-06-07 21:28:15 +07:00
Rudi Grinberg 4b0559a926 Update CHANGES 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-06-07 17:59:58 +07:00
Rudi Grinberg a7ada1ddb9 Update CHANGES for the quoting issue 
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
 2018-06-07 15:35:25 +07:00