Difference between revisions of "Installing MILEPOST"

Revision as of 08:18, 1 July 2013

Solution for "Database name not found!" error: Navigate to /demo/bitcount.c/___common_environment.sh

and edit line 15 from export CCC_CTS_DB=cod_opt_cases to export CCC_CTS_DB = fursinne_coptcasestest

on line 17, add export CCC_CTS_USER = [your ctuning.org username]

Now when you run ./__test_ctuning_web_service_for_ctuning_cc.sh it should say

'Test successfully passed'

To be finished, with a link to a zipped correct working version that is patched.

To simplify the process we have created a version that should unzip and work without having to encounter the issue that arose for us.

Here is the link to the final working version MILEPOST

@@ Line 1: / Line 1: @@
-Solution for "Database name not found!" error:
+=='''Guide to installing MILEPOST on Linux'''==
+== Install issues ==
+'''Solution for "Database name not found!" error:
+'''
 Navigate to /demo/bitcount.c/___common_environment.sh
-and edit the line to: export CCC_CTS_DB = ''fursinne_coptcasestest''
+and edit line 15 from ''export CCC_CTS_DB=cod_opt_cases'' to ''export CCC_CTS_DB = fursinne_coptcasestest''
+on line 17, add ''export CCC_CTS_USER = [your ctuning.org username]''
-and export CCC_CTS_USER = ''[your ctuning.org username]''
+Now when you run ''./__test_ctuning_web_service_for_ctuning_cc.sh'' it should say
-add:
+''''Test successfully passed''''
-CCC_CTS_PASS = ''[your ctuning.org password]''
 To be finished, with a link to a zipped correct working version that is patched.
+To simplify the process we have created a version that should unzip and work without having to encounter the issue that arose for us.
+Here is the link to the final working version [http://www.example.com MILEPOST]