Ability to "go generate" a binary snapshot of Rubi.

corywalker · Nov 10, 2018 · 8c8b931 · 8c8b931
1 parent fe5a81f
commit 8c8b931
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 1,598 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -1,2 +1,2 @@
-expreduce/resources.go linguist-generated
+expreduce/resources.go filter=lfs diff=lfs merge=lfs -text
 *.m linguist-language=Mathematica
diff --git a/.gitignore b/.gitignore
@@ -2,6 +2,7 @@ old
 calc.go
 y.output
 test_rubi
+expreduce/rubi_snapshot.expred
 
 .idea/expreduce.iml
 

diff --git a/expreduce/builtin_rubi.go b/expreduce/builtin_rubi.go
@@ -1,4 +1,4 @@
-//go:generate go run ../utils/gensnapshots/gensnapshots.go
+//go:generate go run ../utils/gensnapshots/gensnapshots.go -rubi_snapshot_location=./rubi_snapshot.expred
 
 package expreduce