-
Notifications
You must be signed in to change notification settings - Fork 3
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.
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
Just a 'bureaucratic' update (jbuilder -> dune, opam -> opam 2.0) #2
Changes from 3 commits
2aed15d
c11cb93
de713db
28854a1
77e352c
d47226b
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,4 @@ | ||
(executable | ||
(name correctness) | ||
(flags :standard -w +A) | ||
(libraries faster-map.functions)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
(lang dune 1.0) | ||
(name faster-map) |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,14 @@ | ||
opam-version: "1.2" | ||
opam-version: "2.0" | ||
synopsis: "A tail-recursive list map with good performance for all list sizes. Not actually written in assembly" | ||
authors: "<Anton Bachin> antonbachin@yahoo.com" | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. IIRC this is should be There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Thanks. |
||
maintainer: "<Anton Bachin> antonbachin@yahoo.com" | ||
homepage: "https://github.com/aantron/faster-map" | ||
bug-reports: "https://github.com/aantron/faster-map/issues" | ||
|
||
depends: [ | ||
"base" | ||
"batteries" | ||
"containers" | ||
"core_bench" | ||
"jbuilder" {build & >= "1.0+beta13"} | ||
"dune" {build & >= "1.0"} | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
|
||
] |
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,18 @@ | ||
; Example output of the generator can be found in results/faster_map.ml. That is | ||
; basically a dumped and commented generated.ml. | ||
|
||
(rule | ||
(targets generated.ml) | ||
(deps | ||
(:< %{workspace_root}/generator/generator.exe)) | ||
(action | ||
(with-stdout-to | ||
%{targets} | ||
(run %{<})))) | ||
|
||
(library | ||
(name functions) | ||
(public_name faster-map.functions) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries base batteries containers)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
(executable | ||
(name generator) | ||
(flags :standard -w +A)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executable | ||
(name test) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries faster-map.instrumented)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executable | ||
(name test) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries faster-map.instrumented)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executable | ||
(name test) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries faster-map.instrumented)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(library | ||
(name instrumented) | ||
(public_name faster-map.instrumented) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executable | ||
(name test) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries faster-map.instrumented)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executable | ||
(name test) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries faster-map.instrumented)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executable | ||
(name test) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries faster-map.instrumented)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executable | ||
(name test) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries faster-map.instrumented)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
(executable | ||
(name reporter) | ||
(flags :standard -w +A)) |
This file was deleted.
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executable | ||
(name tester) | ||
(flags :standard -w +A) | ||
(ocamlopt_flags :standard -O3) | ||
(libraries core_bench faster-map.functions)) |
This file was deleted.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think
--profile=dev
could just be dropped, since it is the default.