Patch to fix (relative) pathing of simka binary and instead hard code this as /usr/bin/simka

Description: hard code binary path

 Simka gets the "simka" binary path from the command "simka", which is not the same as /usr/bin/simka. Hard code this path so that simka finds its binary.

Author: Shayan Doust <hello@shayandoust.me>

Last-Update: 2019-09-13

---

Index: simka/src/SimkaPotara.cpp

===================================================================

--- simka.orig/src/SimkaPotara.cpp	2019-09-13 08:44:18.831548830 +0100

+++ simka/src/SimkaPotara.cpp	2019-09-13 08:44:18.831548830 +0100

@@ -28,7 +28,7 @@

 */

 SimkaPotara::SimkaPotara(const string& execFilename)  : Tool ("Simka")

 {

-

+	

 	_execFilename = execFilename;

 	Simka::createOptionsParser(getParser());

@@ -151,7 +151,7 @@

         // We run the tool with the provided command line arguments.

 		//cout << argv[0] << endl;

-        SimkaPotara(string(argv[0])).run (argc, argv);

+        SimkaPotara(string("/usr/bin/simka")).run (argc, argv);

     }

     catch (Exception& e)

     {

detailed_errors.patch

fix_binary_path.patch

fix_test_path.patch

2to3.patch

use_debian_packaged_libraries.patch