-
Notifications
You must be signed in to change notification settings - Fork 3
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
migrate from topkg-jbuilder to dune (#5)
- Loading branch information
1 parent
e8125dc
commit 2cf912a
Showing
11 changed files
with
37 additions
and
166 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 |
---|---|---|
@@ -0,0 +1,5 @@ | ||
(executables | ||
(names omrt updates) | ||
(public_names omrt updates) | ||
(flags :standard -w A-27-32-4-39-8-44-3-6-40-42) | ||
(libraries mrt-format)) |
This file was deleted.
Oops, something went wrong.
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 mrt-format) |
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,8 @@ | ||
(library | ||
(name mrt) | ||
(public_name mrt-format) | ||
(synopsis "MRT parser library.") | ||
(preprocess | ||
(pps ppx_cstruct)) | ||
(flags :standard -w A-27-32-4-39-8-44-3-6) | ||
(libraries cstruct ipaddr logs result)) |
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 |
---|---|---|
@@ -1,24 +1,30 @@ | ||
opam-version: "1.2" | ||
opam-version: "2.0" | ||
maintainer: "Richard Mortier <[email protected]>" | ||
authors: [ "Richard Mortier" ] | ||
license: "ISC" | ||
|
||
homepage: "https://github.com/mor1/mrt-format" | ||
dev-repo: "https://github.com/mor1/mrt-format.git" | ||
dev-repo: "git+https://github.com/mor1/mrt-format.git" | ||
bug-reports: "https://github.com/mor1/mrt-format/issues" | ||
doc: "https://mor1.github.io/mrt-format/" | ||
|
||
build: [ | ||
[ "jbuilder" "subst" ] {pinned} | ||
[ "jbuilder" "build" "-p" name "-j" jobs ] | ||
[ "dune" "subst" ] {pinned} | ||
[ "dune" "build" "-p" name "-j" jobs ] | ||
[ "dune" "runtest" "-p" name "-j" jobs ] {with-test} | ||
] | ||
|
||
depends: [ | ||
"alcotest" {test} | ||
"ocaml" | ||
"dune" {>= "1.1.0" & build} | ||
"alcotest" {with-test} | ||
"cstruct" {>= "1.0.1"} | ||
"ipaddr" {>= "2.0.0"} | ||
"logs" | ||
"ocamlfind" {build} | ||
"ppx_cstruct" {build} | ||
"result" | ||
] | ||
|
||
synopsis: "MRT parsing library and CLI" | ||
description: "A basic implementation of the [Multi-Threaded Routing Toolkit](https://tools.ietf.org/html/rfc6396) format, following my implementation in the [Python Routeing Toolkit](https://github.com/mor1/pyrt) and documentation in the [RFC](https://tools.ietf.org/html/rfc6396) and the [PyRT README](https://github.com/mor1/pyrt/blob/master/README.mrtd). Provides (incomplete) parsing libraries and a simple CLI tool." |
This file was deleted.
Oops, something went wrong.