-
Notifications
You must be signed in to change notification settings - Fork 76
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #161 from avsm/port-to-dune
port to dune
- Loading branch information
Showing
22 changed files
with
93 additions
and
107 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,19 +1,21 @@ | ||
.PHONY: all build clean test | ||
.PHONY: all build clean test install uninstall doc | ||
|
||
build: | ||
jbuilder build --dev @install | ||
dune build | ||
|
||
all: build | ||
|
||
test: | ||
jbuilder runtest --dev | ||
dune runtest | ||
|
||
install: | ||
jbuilder install --dev | ||
dune install | ||
|
||
uninstall: | ||
jbuilder uninstall | ||
dune uninstall | ||
|
||
doc: | ||
dune build @doc | ||
|
||
clean: | ||
rm -rf _build *.install | ||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(library | ||
(name angstrom_async) | ||
(public_name angstrom-async) | ||
(flags :standard -safe-string) | ||
(libraries angstrom async)) |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,14 @@ | ||
(executables | ||
(libraries angstrom core_bench threads RFC2616 RFC7159) | ||
(modules pure_benchmark) | ||
(names pure_benchmark)) | ||
|
||
(executables | ||
(libraries angstrom-async RFC2616 RFC7159) | ||
(modules async_benchmark) | ||
(names async_benchmark)) | ||
|
||
(executables | ||
(libraries angstrom-lwt-unix RFC2616 RFC7159) | ||
(modules lwt_benchmark) | ||
(names lwt_benchmark)) |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
(lang dune 1.0) | ||
(name angstrom) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,11 @@ | ||
(library | ||
(name RFC7159) | ||
(wrapped false) | ||
(modules RFC7159) | ||
(libraries angstrom)) | ||
|
||
(library | ||
(name RFC2616) | ||
(wrapped false) | ||
(modules RFC2616) | ||
(libraries angstrom)) |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(library | ||
(name angstrom) | ||
(public_name angstrom) | ||
(libraries bigstringaf) | ||
(flags :standard -safe-string)) |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
(executables | ||
(libraries alcotest angstrom) | ||
(modules test_angstrom) | ||
(names test_angstrom)) | ||
|
||
(alias | ||
(name runtest) | ||
(package angstrom) | ||
(deps | ||
(:< test_angstrom.exe)) | ||
(action | ||
(run %{<}))) |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(library | ||
(name angstrom_lwt_unix) | ||
(public_name angstrom-lwt-unix) | ||
(flags :standard -safe-string) | ||
(libraries angstrom lwt.unix)) |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
(library | ||
(name angstrom_unix) | ||
(public_name angstrom-unix) | ||
(libraries angstrom unix)) |
This file was deleted.
Oops, something went wrong.