diff --git a/unikernel/duniverse/Zarith/tests/Makefile b/unikernel/duniverse/Zarith/tests/Makefile new file mode 100644 index 00000000..73ee2cbd --- /dev/null +++ b/unikernel/duniverse/Zarith/tests/Makefile @@ -0,0 +1,73 @@ +WORDSIZE:=$(shell echo 'print_int Sys.word_size' | ocaml -stdin) +STDLIBDIR:=$(shell ocamlc -where) +ifeq ($(wildcard $(STDLIBDIR)/big_int.cmi),) +HAS_NUM=false +NUMS_CMA= +NUMS_CMXA= +else +HAS_NUM=true +NUMS_CMA=nums.cma +NUMS_CMXA=nums.cmxa +endif + +test:: zq.exe + @echo "Testing zq (native)..." + @if ./zq.exe | cmp -s zq.output$(WORDSIZE) - ; then echo "zq: passed"; else echo "zq: FAILED"; exit 2; fi + +test:: zq.byt + @echo "Testing zq (bytecode)..." + @if ocamlrun -I .. ./zq.byt | cmp -s zq.output$(WORDSIZE) - ; then echo "zq: passed"; else echo "zq: FAILED"; exit 2; fi + +ifeq ($(HAS_NUM),true) +test:: bi.exe + @echo "Testing bi..." + @if ./bi.exe; then echo "bi: passed"; else echo "bi: FAILED"; exit 2; fi +endif + +test:: pi.exe + @echo "Testing pi..." + @if ./pi.exe 500 | cmp -s pi.output - ; then echo "pi: passed"; else echo "pi: FAILED"; exit 2; fi + +test:: tofloat.exe + @echo "Testing tofloat..." + @./tofloat.exe + +test:: ofstring.exe + @echo "Testing ofstring..." + @./ofstring.exe + +test:: chi2.exe + @echo "Testing random number generation..." + @if ./chi2.exe; then echo "chi2: passed"; else echo "chi2: FAILED"; exit 2; fi + +bench:: timings.exe + ./timings.exe + +bench:: pi.exe + @echo "Benchmarking pi"; time ./pi.exe 10000 > /dev/null + +test:: tst_extract.exe + @echo "Testing extract..." + @if ./tst_extract.exe; then echo "tst_extract: passed"; else echo "tst_extract: FAILED"; exit 2; fi + +test:: intern.exe + @echo "Testing unmarshaling..." + @if ./intern.exe extern.data32 | cmp -s intern.output32$(WORDSIZE) -; then echo "intern 32: passed"; else echo "intern 32: failed"; exit 2; fi + @if ./intern.exe extern.data64 | cmp -s intern.output64$(WORDSIZE) -; then echo "intern 64: passed"; else echo "intern 64: failed"; exit 2; fi + +extern.data$(WORDSIZE): extern.exe + ./extern.exe extern.data$(WORDSIZE) + +tofloat.exe: tofloat.ml setround.o ../zarith.cmxa + ocamlopt -I .. -ccopt "-L.." zarith.cmxa -o tofloat.exe \ + setround.o tofloat.ml + +%.exe: %.ml ../zarith.cmxa + ocamlopt -I .. -ccopt "-L.." zarith.cmxa $(NUMS_CMXA) -o $*.exe $*.ml +%.byt: %.ml ../zarith.cma + ocamlc -I .. -ccopt "-L.." zarith.cma $(NUMS_CMA) -o $*.byt $*.ml +%.o: %.c + ocamlc -c $*.c + +clean: + rm -f *.cm[iox] *.o *.exe *.byt diff --git a/unikernel/duniverse/digestif/.merlin b/unikernel/duniverse/digestif/.merlin new file mode 100644 index 00000000..e47e9f21 --- /dev/null +++ b/unikernel/duniverse/digestif/.merlin @@ -0,0 +1,7 @@ +S common +S src-c +S src-ocaml + +B _build/** + +PKG ocamlbuild alcotest diff --git a/unikernel/duniverse/dune_/boot/dune.install b/unikernel/duniverse/dune_/boot/dune.install new file mode 100644 index 00000000..93596bb2 --- /dev/null +++ b/unikernel/duniverse/dune_/boot/dune.install @@ -0,0 +1,3 @@ +bin: [ + "_boot/dune" +] diff --git a/unikernel/duniverse/logs/test/test_browser.html b/unikernel/duniverse/logs/test/test_browser.html new file mode 100644 index 00000000..8dcdf11a --- /dev/null +++ b/unikernel/duniverse/logs/test/test_browser.html @@ -0,0 +1,48 @@ + + + + + + + + + Logs test + + + +

Logs test

+ See the browser console. + + + + diff --git a/unikernel/duniverse/ocaml-hex/.merlin b/unikernel/duniverse/ocaml-hex/.merlin new file mode 100644 index 00000000..e02ea0f6 --- /dev/null +++ b/unikernel/duniverse/ocaml-hex/.merlin @@ -0,0 +1,8 @@ +S lib +S lib_test + +PKG cstruct + +B _build +B _build/lib +B _build/lib_test \ No newline at end of file