Skip to content

Commit

Permalink
Fix benchmark bug and clear out redundant code and files
Browse files Browse the repository at this point in the history
  • Loading branch information
moazzammoriani committed Jun 8, 2022
1 parent d8bff85 commit fcf0dbe
Show file tree
Hide file tree
Showing 6 changed files with 4 additions and 129 deletions.
3 changes: 2 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -66,7 +66,7 @@ START_TIME ?=

WRAPPER = $(patsubst run_%,%,$(RUN_BENCH_TARGET))

PACKAGES = owl npy sexplib0 re yojson react uuidm cpdf nbcodec minilight cubicle orun rungen
PACKAGES = owl sexplib0 re yojson react uuidm cpdf nbcodec minilight cubicle orun rungen

ifeq ($(findstring multibench,$(BUILD_BENCH_TARGET)),multibench)
PACKAGES += lockfree kcas domainslib ctypes
Expand Down Expand Up @@ -144,6 +144,7 @@ _opam/%: _opam/opam-init/init.sh ocaml-versions/%.json
opam pin add -n --yes --switch $* ocamlfind https://github.com/dra27/ocamlfind/archive/lib-layout.tar.gz
opam pin add -n --yes --switch $* ocplib-endian https://github.com/kit-ty-kate/ocplib-endian/archive/500.tar.gz
opam pin add -n --yes --switch $* owl https://github.com/Sudha247/owl.git#500
opam pin add -n --yes --switch $* owl-base https://github.com/Sudha247/owl.git#500

override_packages/%: setup_sys_dune/%
$(eval CONFIG_SWITCH_NAME = $*)
Expand Down
2 changes: 1 addition & 1 deletion benchmarks/owl/dune
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
(executable
(name test_owl)
(libraries owl))
(libraries owl owl-base))

(alias
(name buildbench)
Expand Down
36 changes: 0 additions & 36 deletions dependencies/packages/base/base.v0.15.0/opam

This file was deleted.

29 changes: 0 additions & 29 deletions dependencies/packages/eigen/eigen.0.4.0/opam

This file was deleted.

60 changes: 0 additions & 60 deletions dependencies/packages/odoc/odoc.2.1.0/opam

This file was deleted.

3 changes: 1 addition & 2 deletions run_config.json
Original file line number Diff line number Diff line change
@@ -1,5 +1,4 @@
{
"wrappers": [
{ "wrappers": [
{
"name": "orun",
"command": "orun -o %{output} -- taskset --cpu-list 5 %{command}"
Expand Down

0 comments on commit fcf0dbe

Please sign in to comment.