pkgrel 2: include mohex data files

1 files changed, 43 insertions, 0 deletions

diff --git a/mohex-paths.patch b/mohex-paths.patch
new file mode 100644
index 000000000000..ea232d070d98
--- /dev/null
+++ b/mohex-paths.patch
@@ -0,0 +1,43 @@
+diff -ura benzene-1.0.1.old/share/Makefile.am benzene-1.0.1.new/share/Makefile.am
+--- benzene-1.0.1.old/share/Makefile.am	2017-09-05 10:59:56.082342636 -0400
++++ benzene-1.0.1.new/share/Makefile.am	2017-09-05 11:11:14.846424488 -0400
+@@ -1,6 +1,6 @@
+ # data files to be installed in ${prefix}/share/benzene/ directory
+ dist_pkgdata_DATA = \
+-ice-patterns.txt \
++mohex-ice-patterns.txt \
+ induced-domination.txt \
+ induced-equivalence.txt \
+ induced-inferior.txt \
+@@ -9,6 +9,6 @@
+ mohex-patterns.txt \
+ swap-moves.txt \
+ unique-probe.txt \
+-vc-captured-set.txt \
++mohex-vc-captured-set.txt \
+ vc-patterns.txt \
+ mohex-cache-book.txt
+diff -ura benzene-1.0.1.old/src/hex/ICEngine.cpp benzene-1.0.1.new/src/hex/ICEngine.cpp
+--- benzene-1.0.1.old/src/hex/ICEngine.cpp	2017-09-05 10:59:56.109007956 -0400
++++ benzene-1.0.1.new/src/hex/ICEngine.cpp	2017-09-05 11:00:22.281037283 -0400
+@@ -521,7 +521,7 @@
+ /** Loads local patterns from "ice-pattern-file". */
+ void ICEngine::LoadPatterns()
+ {
+-    m_patterns.LoadPatterns("ice-patterns.txt");
++    m_patterns.LoadPatterns("mohex-ice-patterns.txt");
+ }    
+ 
+ //----------------------------------------------------------------------------
+diff -ura benzene-1.0.1.old/src/hex/VCBuilder.cpp benzene-1.0.1.new/src/hex/VCBuilder.cpp
+--- benzene-1.0.1.old/src/hex/VCBuilder.cpp	2017-09-05 10:59:56.112341121 -0400
++++ benzene-1.0.1.new/src/hex/VCBuilder.cpp	2017-09-05 11:01:03.332395435 -0400
+@@ -44,7 +44,7 @@
+ {
+     std::ifstream inFile;
+     try {
+-        std::string file = MiscUtil::OpenFile("vc-captured-set.txt", inFile);
++        std::string file = MiscUtil::OpenFile("mohex-vc-captured-set.txt", inFile);
+         LogConfig() << "VCBuilder: reading captured set patterns from '" 
+                     << file << "'.\n";
+     }