blob: f042d65d7126cd67cf5fb975b84d723970764d1a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
##########################################################################
# Configuration file version
##########################################################################
m4_define([_odp_config_version_generation], [0])
m4_define([_odp_config_version_major], [1])
m4_define([_odp_config_version_minor], [13])
m4_define([_odp_config_version],
[_odp_config_version_generation._odp_config_version_major._odp_config_version_minor])
_ODP_CONFIG_VERSION_GENERATION=_odp_config_version_generation
AC_SUBST(_ODP_CONFIG_VERSION_GENERATION)
_ODP_CONFIG_VERSION_MAJOR=_odp_config_version_major
AC_SUBST(_ODP_CONFIG_VERSION_MAJOR)
_ODP_CONFIG_VERSION_MINOR=_odp_config_version_minor
AC_SUBST(_ODP_CONFIG_VERSION_MINOR)
##########################################################################
# Set optional path for the default configuration file
##########################################################################
default_config_path="${srcdir}/config/odp-$with_platform.conf"
AC_ARG_WITH([config-file],
AS_HELP_STRING([--with-config-file=FILE path to the default configuration file],
[(this file must include all configuration options).]),
[default_config_path=$withval], [])
ODP_LIBCONFIG([$with_platform], [$default_config_path])
|