Add ability to generate Rubi binary snapshot.

expreduce/builtin_rubi.go

@@ -1,3 +1,5 @@
+//go:generate go run ../utils/gensnapshots/gensnapshots.go
+
 package expreduce
 
 func getRubiDefinitions() (defs []Definition) {

expreduce/resources/rubi.m

@@ -21,9 +21,8 @@
     ]
 };
 
-expreduceRubiSnapshotLoc = "/tmp/rubi.expred";
-LoadRubiSnapshot[] := (
-  Get[expreduceRubiSnapshotLoc];
+LoadRubiSnapshot[snapshotLoc_] := (
+  Get[snapshotLoc_];
   $ContextPath = Prepend[$ContextPath, "Rubi`"];
 );
-SaveRubiSnapshot[] := Save[expreduceRubiSnapshotLoc, "Rubi`*"];
+SaveRubiSnapshot[snapshotLoc_] := Save[snapshotLoc, "Rubi`*"];

utils/gensnapshots/gensnapshots.go

@@ -0,0 +1,27 @@
+package main
+
+import (
+	"flag"
+
+	"github.com/corywalker/expreduce/expreduce"
+	"github.com/corywalker/expreduce/expreduce/atoms"
+)
+
+var rubiSnapshotLocation = flag.String("rubi_snapshot_location", "/tmp/theRubiSnapshot.expred", "the location to write the Rubi snapshot")
+
+func main() {
+	flag.Parse()
+
+	es := expreduce.NewEvalState()
+
+	es.Eval(atoms.E(
+		atoms.S("LoadRubi"),
+	))
+	res := es.Eval(atoms.E(
+		atoms.S("SaveRubiSnapshot"),
+		atoms.NewString(*rubiSnapshotLocation),
+	))
+	if !atoms.IsSameQ(res, atoms.S("Null")) {
+		panic("Unexpected response from SaveRubiSnapshot[]!")
+	}
+}