Merge pull request #3 from kit-ty-kate/ci

Enable OCaml-CI for easy testing
kit-ty-kate · Feb 4, 2022 · 5de827c · 5de827c
2 parents b1829f1 + 220740c
commit 5de827c
Show file tree

Hide file tree

Showing 4 changed files with 59 additions and 11 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,11 +1,3 @@
-/*/.mirage.config
-/*/Makefile
-/*/_build
-/*/key_gen.ml
-/*/main.ml
-/*/main.native
-/*/*.opam
-/*/myocamlbuild.ml
-
-/receiver/ping_receiver
-/sender/ping_sender
+/_build/
+/mirage-ping.install
+/_opam/
diff --git a/dune b/dune
@@ -0,0 +1,33 @@
+(rule
+ (target ping-receiver.exe)
+ (deps
+   receiver/config.ml
+   receiver/unikernel.ml
+   receiver/unikernel.mli)
+ (action
+  (progn
+   (chdir receiver
+    (progn
+     (run mirage configure)
+     (run mirage build)))
+   (run cp receiver/dist/ping-receiver %{target}))))
+
+(rule
+ (target ping-sender.exe)
+ (deps
+   sender/config.ml
+   sender/unikernel.ml
+   sender/unikernel.mli)
+ (action
+  (progn
+   (chdir sender
+    (progn
+     (run mirage configure)
+     (run mirage build)))
+   (run cp sender/dist/ping-sender %{target}))))
+
+(install
+ (files
+  (ping-receiver.exe as ping-receiver)
+  (ping-sender.exe as ping-sender))
+ (section bin))
diff --git a/dune-project b/dune-project
@@ -0,0 +1,5 @@
+(lang dune 2.7)
+(name mirage-ping)
+(version 0.1.0~)
+
+(formatting disabled)
diff --git a/mirage-ping.opam b/mirage-ping.opam
@@ -0,0 +1,18 @@
+opam-version: "2.0"
+license: "MIT"
+maintainer: "Kate <kit.ty.kate@disroot.org>"
+authors: "Kate <kit.ty.kate@disroot.org>"
+homepage: "https://github.com/kit-ty-kate/mirage-ping"
+bug-reports: "https://github.com/kit-ty-kate/mirage-ping/issues"
+synopsis: "TODO"
+build: ["dune" "build" "-p" name "-j" jobs]
+depends: [
+  "ocaml" {>= "4.08"}
+  "dune" {>= "2.7"}
+  "mirage" {>= "4.0"}
+  "mirage-unix" {>= "5.0"}
+  "mirage-logs" {>= "1.2.0"}
+  "mirage-clock-unix" {>= "4.1.0"}
+  "mirage-bootvar-unix" {>= "0.1.0"}
+  "tcpip" {>= "7.0.0"}
+]