Skip to content

Commit

Permalink
fixup
Browse files Browse the repository at this point in the history
Signed-off-by: Andrii Sultanov <[email protected]>
  • Loading branch information
last-genius committed Oct 7, 2024
1 parent 1b63982 commit 867de1e
Show file tree
Hide file tree
Showing 4 changed files with 20 additions and 55 deletions.
12 changes: 4 additions & 8 deletions Makefile
Original file line number Diff line number Diff line change
@@ -1,17 +1,15 @@
#
# This Makefile is not called from Opam but only used for
# convenience during development
#

DUNE = dune
JOBS = $(shell getconf _NPROCESSORS_ONLN)
PROFILE = release

.PHONY: build check test clean format
.PHONY: build check test clean format install

build:
$(DUNE) build -j $(JOBS) --profile=$(PROFILE)

install: build
$(DUNE) install oxenstored

check:
dune build @check -j $(JOBS)

Expand All @@ -30,5 +28,3 @@ utop:
format:
$(DUNE) build --auto-promote @fmt
dune format-dune-file dune-project > $$$$ && mv $$$$ dune-project

# vim:ts=8:noet:
1 change: 1 addition & 0 deletions ocaml-evtchn/dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,7 @@ implementations:
(authors "Vincent Hanquez" "Anil Madhavapeddy" "David Scott" "Jonathan Ludlam")
(tags ("org:mirage" "org:xapi-project"))
(synopsis "Xen event channel interface for Linux")
(allow_empty)
(depends
(ocaml (>= 4.03.0))
dune
Expand Down
25 changes: 15 additions & 10 deletions ocaml-evtchn/lib_test/dune
Original file line number Diff line number Diff line change
@@ -1,11 +1,16 @@
(executables
(names main)
(libraries xen-evtchn xen-evtchn-unix ounit2))
;(executable
;(name main)
;(public_name xen-evtchn-unix.test)
;(package xen-evtchn-unix)
;(optional)
;(enabled_if %{lib-available:xen-evtchn-unix})
;(libraries xen-evtchn xen-evtchn-unix ounit2))

(rule
(alias runtest)
(package xen-evtchn-unix)
(deps
(:< main.exe))
(action
(run %{<})))
;(rule
;(alias runtest)
;(enabled_if %{lib-available:xen-evtchn-unix})
;(package xen-evtchn-unix)
;(deps
;(:< main.exe))
;(action
;(run %{<})))
37 changes: 0 additions & 37 deletions xsd_glue/domain_getinfo_plugin_v1/Makefile

This file was deleted.

0 comments on commit 867de1e

Please sign in to comment.