-
Notifications
You must be signed in to change notification settings - Fork 19
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 #64 from djs55/jbuilder
Switch to jbuilder
- Loading branch information
Showing
11 changed files
with
50 additions
and
8,499 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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,4 @@ | ||
_build/ | ||
setup.bin | ||
setup.data | ||
setup.log | ||
configure | ||
config.mk | ||
configure.cmi | ||
configure.cmx | ||
configure.o | ||
*.install | ||
*.merlin | ||
|
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,51 +1,23 @@ | ||
.PHONY: all clean install build | ||
all: build doc | ||
|
||
NAME=mirage-block-xen | ||
IMAGE=$(NAME) | ||
J=4 | ||
.PHONY: build clean test | ||
|
||
include config.mk | ||
config.mk: configure | ||
./configure | ||
build: | ||
jbuilder build @install --dev | ||
|
||
configure: configure.ml | ||
ocamlfind ocamlopt -package "cmdliner,findlib" -linkpkg $< -o $@ | ||
test: | ||
jbuilder runtest --dev | ||
|
||
export OCAMLRUNPARAM=b | ||
|
||
setup.bin: setup.ml | ||
@ocamlopt.opt -o $@ $< || ocamlopt -o $@ $< || ocamlc -o $@ $< | ||
@rm -f setup.cmx setup.cmi setup.o setup.cmo | ||
|
||
setup.data: setup.bin | ||
@./setup.bin -configure $(ENABLE_BLKFRONT) $(ENABLE_BLKBACK) | ||
|
||
build: setup.data setup.bin | ||
@./setup.bin -build -j $(J) | ||
|
||
doc: setup.data setup.bin | ||
@./setup.bin -doc -j $(J) | ||
|
||
install: setup.bin | ||
@./setup.bin -install | ||
install: | ||
jbuilder install | ||
|
||
uninstall: | ||
@ocamlfind remove $(NAME) || true | ||
|
||
test: setup.bin build | ||
@./setup.bin -test | ||
|
||
reinstall: setup.bin | ||
@ocamlfind remove $(NAME) || true | ||
@./setup.bin -reinstall | ||
jbuilder uninstall | ||
|
||
xen-depends: Dockerfile build.sh | ||
docker build -t $(IMAGE) . | ||
docker build -t mirage-block-xen . | ||
|
||
xen-build: xen-depends clean | ||
docker run -v $(shell pwd):/src $(IMAGE) /build.sh | ||
docker run -v $(shell pwd):/src mirage-block-xen /build.sh | ||
|
||
clean: | ||
@ocamlbuild -clean | ||
@rm -f setup.data setup.log setup.bin | ||
rm -rf _build |
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,24 @@ | ||
(library | ||
((name mirage_block_xen) | ||
(public_name mirage-block-xen) | ||
(modules (Blkproto Device_number)) | ||
(libraries (cstruct cstruct.ppx io-page)) | ||
(wrapped false) | ||
(preprocess (pps (cstruct.ppx))) | ||
)) | ||
|
||
(library | ||
((name mirage_block_xen_front) | ||
(public_name mirage-block-xen.front) | ||
(modules (Blkfront Block)) | ||
(libraries (logs stringext lwt cstruct cstruct.ppx mirage-block-lwt io-page shared-memory-ring shared-memory-ring-lwt mirage-block-xen xen-evtchn xen-gnt mirage-xen)) | ||
(wrapped false) | ||
)) | ||
|
||
(library | ||
((name mirage_block_xen_back) | ||
(public_name mirage-block-xen.back) | ||
(modules (Blkback Block_request)) | ||
(libraries (logs lwt cstruct cstruct.ppx io-page shared-memory-ring shared-memory-ring-lwt mirage-block-xen xen-evtchn xen-gnt xenstore mirage-block-lwt rresult)) | ||
(wrapped false) | ||
)) |
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
Oops, something went wrong.