add bench/versions

rudymatela · Feb 9, 2024 · ae4b36a · ae4b36a
1 parent dd20031
commit ae4b36a
Show file tree

Hide file tree

Showing 28 changed files with 51 additions and 26 deletions.
diff --git a/bench/runtime/zero/bench/arithficial.runtime b/bench/runtime/zero/bench/arithficial.runtime
@@ -1 +1 @@
-0.64
+0.65
diff --git a/bench/runtime/zero/bench/lowtests.runtime b/bench/runtime/zero/bench/lowtests.runtime
@@ -1 +1 @@
-0.47
+0.49
diff --git a/bench/runtime/zero/bench/stats.runtime b/bench/runtime/zero/bench/stats.runtime
@@ -1 +1 @@
-0.28
+0.29
diff --git a/bench/runtime/zero/bench/trilean.runtime b/bench/runtime/zero/bench/trilean.runtime
@@ -1 +1 @@
-0.04
+0.05
diff --git a/bench/runtime/zero/eg/arith-negate-abs.runtime b/bench/runtime/zero/eg/arith-negate-abs.runtime
@@ -1 +1 @@
-1.72
+1.75
diff --git a/bench/runtime/zero/eg/binarytree.runtime b/bench/runtime/zero/eg/binarytree.runtime
@@ -1 +1 @@
-1.68
+1.74
diff --git a/bench/runtime/zero/eg/binarytree0.runtime b/bench/runtime/zero/eg/binarytree0.runtime
@@ -1 +1 @@
-0.60
+0.54
diff --git a/bench/runtime/zero/eg/bool.runtime b/bench/runtime/zero/eg/bool.runtime
@@ -1 +1 @@
-1.96
+2.03
diff --git a/bench/runtime/zero/eg/colour.runtime b/bench/runtime/zero/eg/colour.runtime
@@ -1 +1 @@
-2.03
+2.09
diff --git a/bench/runtime/zero/eg/digraphs.runtime b/bench/runtime/zero/eg/digraphs.runtime
@@ -1 +1 @@
-1.51
+1.54
diff --git a/bench/runtime/zero/eg/fun.runtime b/bench/runtime/zero/eg/fun.runtime
@@ -1 +1 @@
-1.08
+1.10
diff --git a/bench/runtime/zero/eg/insertsort.runtime b/bench/runtime/zero/eg/insertsort.runtime
@@ -1 +1 @@
-7.70
+7.90
diff --git a/bench/runtime/zero/eg/insertsort0.runtime b/bench/runtime/zero/eg/insertsort0.runtime
@@ -1 +1 @@
-0.94
+0.97
diff --git a/bench/runtime/zero/eg/length.runtime b/bench/runtime/zero/eg/length.runtime
@@ -1 +1 @@
-0.49
+0.51
diff --git a/bench/runtime/zero/eg/list.runtime b/bench/runtime/zero/eg/list.runtime
@@ -1 +1 @@
-2.57
+3.40
diff --git a/bench/runtime/zero/eg/minus.runtime b/bench/runtime/zero/eg/minus.runtime
@@ -1 +1 @@
-0.55
+0.57
diff --git a/bench/runtime/zero/eg/monad.runtime b/bench/runtime/zero/eg/monad.runtime
@@ -1 +1 @@
-0.60
+0.61
diff --git a/bench/runtime/zero/eg/oddeven.runtime b/bench/runtime/zero/eg/oddeven.runtime
@@ -1 +1 @@
-6.84
+8.28
diff --git a/bench/runtime/zero/eg/plus-abs.runtime b/bench/runtime/zero/eg/plus-abs.runtime
@@ -1 +1 @@
-4.40
+4.47
diff --git a/bench/runtime/zero/eg/ratio.runtime b/bench/runtime/zero/eg/ratio.runtime
@@ -1 +1 @@
-8.25
+8.45
diff --git a/bench/runtime/zero/eg/sets.runtime b/bench/runtime/zero/eg/sets.runtime
@@ -1 +1 @@
-7.30
+7.44
diff --git a/bench/runtime/zero/eg/speculate-reason.runtime b/bench/runtime/zero/eg/speculate-reason.runtime
@@ -1 +1 @@
-2.86
+2.95
diff --git a/bench/runtime/zero/eg/string.runtime b/bench/runtime/zero/eg/string.runtime
@@ -1 +1 @@
-0.90
+0.92
diff --git a/bench/runtime/zero/eg/tauts.runtime b/bench/runtime/zero/eg/tauts.runtime
@@ -1 +1 @@
-4.11
+4.26
diff --git a/bench/runtime/zero/eg/tuples.runtime b/bench/runtime/zero/eg/tuples.runtime
@@ -1 +1 @@
-1.26
+1.29
diff --git a/bench/runtime/zero/eg/zip.runtime b/bench/runtime/zero/eg/zip.runtime
@@ -1 +1 @@
-2.32
+2.39
diff --git a/bench/versions b/bench/versions
@@ -0,0 +1,24 @@
+#!/bin/bash
+#
+# bench/versions: print versions of installed dependencies
+#
+# Copyright (C) 2021-2024  Rudy Matela
+# Distributed under the 3-Clause BSD licence (see the file LICENSE).
+get-ghc-v() {
+    ghc --version | sed -e "s/.* version/GHC/"
+}
+ghc-pkg-list() {
+	ghc-pkg list "$@"
+	ghc-pkg list --package-db ~/.cabal/store/ghc-$(ghc --version | sed -e "s/.* version //")/package.db "$@"
+}
+get-pkg-v() {
+    ghc-pkg-list $1 2>/dev/null |
+    grep " $1-" |
+    sed -e "s/^ *//" |
+    tail -1
+}
+get-ghc-v
+for pkg in "$@"
+do
+	get-pkg-v $pkg
+done
diff --git a/speculate.cabal b/speculate.cabal
@@ -33,6 +33,7 @@ extra-source-files: .gitignore
                   , bench/bool-c
                   , bench/list-c
                   , bench/minus-c
+                  , bench/versions
                   , bench/runtime/zero/bench/*.runtime
                   , bench/runtime/zero/eg/*.runtime
                   , bench/runtime/zero/versions