forked from mirage/mirage-tcpip
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
initial import of mirage networking libraries
- Loading branch information
Showing
1,638 changed files
with
1,713 additions
and
167,305 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,26 +1 @@ | ||
*~ | ||
\#* | ||
.#* | ||
*.annot | ||
*.o | ||
*.orig | ||
|
||
_build/ | ||
|
||
docs/parse.native | ||
|
||
tools/*/*.native | ||
tools/fs/mir-fs-* | ||
|
||
regress/myocamlbuild.ml | ||
regress/*/myocamlbuild.ml | ||
tests/*/*/myocamlbuild.ml | ||
|
||
lib/.init | ||
syntax.init | ||
.*.swp | ||
*.odoc | ||
CVS/ | ||
doc/html/ | ||
/screenlog.* | ||
tools/fs/*.o | ||
_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
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,51 +1,13 @@ | ||
.PHONY: all clean | ||
.DEFAULT: all | ||
-include Makefile.config | ||
|
||
SUDO ?= sudo | ||
export SUDO | ||
|
||
DESTDIR ?= | ||
export DESTDIR | ||
|
||
PREFIX ?= $(HOME)/mir-inst | ||
export PREFIX | ||
MODE ?= direct | ||
|
||
JOBS ?= -j 6 | ||
export JOBS | ||
|
||
MIR-DEBUG ?= 0 | ||
export MIR-DEBUG | ||
.PHONY: all clean install test | ||
.DEFAULT: all | ||
|
||
all: | ||
@cd tools && $(MAKE) | ||
@cd syntax && $(MAKE) | ||
@cd lib && $(MAKE) | ||
|
||
doc: | ||
@cd docs && $(MAKE) all | ||
@cd lib && $(MAKE) doc | ||
|
||
doc-json: | ||
@./docs/_build/parse.native lib/_build/unix-socket > docs/_build/unix-socket.json | ||
@./docs/_build/parse.native lib/_build/unix-direct > docs/_build/unix-direct.json | ||
@./docs/_build/parse.native lib/_build/node > docs/_build/node.json | ||
# @./docs/_build/parse.native lib/_build/xen > docs/_build/xen.json | ||
|
||
|
||
install: | ||
@rm -rf _build | ||
@./assemble.sh | ||
@mkdir -p $(PREFIX) | ||
@cp -r _build/* $(PREFIX)/ | ||
|
||
cd $(MODE) && $(MAKE) all | ||
clean: | ||
@cd syntax && $(MAKE) clean | ||
@cd lib && $(MAKE) clean | ||
@cd tools && $(MAKE) clean | ||
@cd regress && $(MAKE) clean | ||
@cd docs && $(MAKE) clean | ||
@rm -rf _build | ||
|
||
install-el: | ||
@cd scripts/caml-mode && $(MAKE) install-el | ||
cd $(MODE) && $(MAKE) clean | ||
install: | ||
cd $(MODE) && $(MAKE) install | ||
test: | ||
cd $(MODE) && $(MAKE) test |
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,5 @@ | ||
version = "@VERSION@" | ||
description = "TCP/IP networking stack" | ||
archive(byte) = "net.cma" | ||
archive(native) = "net.cmxa" | ||
requires = "mirage" |
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,16 @@ | ||
.PHONY: all clean depend install | ||
|
||
PREFIX ?= /usr/local | ||
INSTALLDIR := $(DESTDIR)$(PREFIX) | ||
INCLUDE := $(INSTALLDIR)/include/mirage | ||
XEN_INCLUDE := $(INCLUDE)/xen | ||
|
||
all: | ||
./cmd configure | ||
./cmd build | ||
|
||
install: | ||
./cmd install | ||
|
||
clean: | ||
./cmd clean |
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,4 @@ | ||
bigarray.cma | ||
cstruct.cma | ||
lwt.cma | ||
oS.cma |
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,4 @@ | ||
bigarray.cmxa | ||
cstruct.cmxa | ||
lwt.cmxa | ||
oS.cmxa |
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 @@ | ||
|
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 @@ | ||
|
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 @@ | ||
mirage |
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 @@ | ||
|
File renamed without changes.
Empty file.
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,7 @@ | ||
-I /home/avsm/.opam/foo/lib/cstruct | ||
-I /home/avsm/.opam/foo/lib/ocaml/camlp4 | ||
-I /home/avsm/.opam/foo/lib/cstruct | ||
-I /home/avsm/.opam/foo/lib/lwt | ||
-I /home/avsm/.opam/foo/lib/lwt | ||
-I /home/avsm/.opam/foo/lib/lwt | ||
-I /home/avsm/.opam/foo/lib/mirage |
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 @@ | ||
net |
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 @@ | ||
mirage-net |
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 @@ | ||
|
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 @@ | ||
-I /home/avsm/.opam/foo/lib/ocaml/camlp4 | ||
-I /home/avsm/.opam/foo/lib/ocaml/camlp4 -parser Camlp4QuotationCommon -parser Camlp4OCamlOriginalQuotationExpander | ||
-I /home/avsm/.opam/foo/lib/ocaml | ||
-I /home/avsm/.opam/foo/lib/ocaml/camlp4 | ||
-I /home/avsm/.opam/foo/lib/ocaml/camlp4 -parser Camlp4GrammarParser |
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,7 @@ | ||
-I /home/avsm/.opam/foo/lib/cstruct | ||
-I /home/avsm/.opam/foo/lib/ocaml/camlp4 | ||
-I /home/avsm/.opam/foo/lib/cstruct cstruct-syntax.cma | ||
-I /home/avsm/.opam/foo/lib/lwt | ||
-I /home/avsm/.opam/foo/lib/lwt lwt-syntax-options.cma | ||
-I /home/avsm/.opam/foo/lib/lwt lwt-syntax.cma | ||
-I /home/avsm/.opam/foo/lib/mirage |
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,11 @@ | ||
<lib/*>: for-pack(Net) | ||
<lib/dhcp/*>: for-pack(Net.Dhcp) | ||
<lib/tcp/*>: for-pack(Net.Tcp) | ||
<lib/dhcp/dhcp.*>: for-repack(Net) | ||
<lib/tcp/tcp.*>: for-repack(Net) | ||
"lib": include | ||
"lib/tcp": include | ||
"lib/dhcp": include | ||
<lib_test/*>: use_lib, custom | ||
<syntax/*>: build_syntax | ||
true: camlp4o |
Oops, something went wrong.