#include <stdlib.h>
#include <stdio.h>
#include <unistd.h>
#include <malloc.h>
#include <iostream>
#include <ostream>
#include <fstream>
#include <sstream>
#include <string>

#include <sys/stat.h>
#include <sys/types.h>
#include <sys/mman.h>
#include <sys/times.h>

#ifdef ENABLE_PAPI
#include <papi.h>
#endif

#include "rib.h"
#include "rib_core.h"
#include "config.h"
#include "benchmark.h"

using namespace std;

int main(int argc, char ** argv)
{
    rib_init(argc, argv);

    rib_read_ini();

    int ret = rib_run_standard();

    if (ret == RIB_TIME_EXHAUSTED) {
        rib_write_resume();
    }
    if (ret == RIB_SUCCESS) {
        cout << "Benchmark done!" << endl;
        rib_update_samples_runs();
    }

    rib_close();

    return EXIT_SUCCESS;
}