Installing MILEPOST

Install issues

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