diff --git a/ocaml/makefile b/ocaml/makefile index 78edcbc1..3f4b626d 100644 --- a/ocaml/makefile +++ b/ocaml/makefile @@ -3,6 +3,7 @@ OC=ocamlopt # ocamlopt: platform-specific, faster # ocamlc: platform-independent intermediate representation, run with ocamlrun FAST=-O3 -unsafe # install flambda with opam +PROF=-g SRC=samples.ml OUT=./out/samples @@ -21,6 +22,13 @@ fast: time: bash -c "time $(OUT)" +profile: + $(OC) $(PERF) $(SRC) -o $(OUT) + mv samples.cmi samples.cmx samples.o ./out/ + sudo perf record -g $(OUT) + sudo perf report + rm perf.data + switch-opam-fast: opam switch create 4.11.2+flambda eval $(opam env) diff --git a/ocaml/out/samples b/ocaml/out/samples index 4fb0eb86..bc115c24 100755 Binary files a/ocaml/out/samples and b/ocaml/out/samples differ diff --git a/ocaml/out/samples.cmx b/ocaml/out/samples.cmx index e29f47fa..8e87f46b 100644 Binary files a/ocaml/out/samples.cmx and b/ocaml/out/samples.cmx differ diff --git a/ocaml/out/samples.o b/ocaml/out/samples.o index 008d7df5..34e7ee5c 100644 Binary files a/ocaml/out/samples.o and b/ocaml/out/samples.o differ