/* -*- c++ -*- */
/*
 * GNSS-SDR is a Global Navigation Satellite System software-defined receiver.
 * This file is part of GNSS-SDR.
 *
 * Copyright (C) 2010-2019 (see AUTHORS file for a list of contributors)
 * SPDX-License-Identifier: GPL-3.0-or-later
 *
 */

#if HAVE_CONFIG_H
#include <config.h>
#endif

#include <stdlib.h>
#include <volk_gnsssdr/constants.h>

const char*
volk_gnsssdr_prefix()
{
  const char *prefix = getenv("VOLK_GNSSSDR_PREFIX");
  if (prefix != NULL) return prefix;
  return "@prefix@";
}

const char*
volk_gnsssdr_version()
{
  return "@VERSION@";
}

const char*
volk_gnsssdr_c_compiler()
{
  return "@cmake_c_compiler_version@";
}

const char*
volk_gnsssdr_compiler_flags()
{
  return "@COMPILER_INFO@";
}

const char*
volk_gnsssdr_available_machines()
{
  return "@available_machines@";
}