diff options
| author |   Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-02-07 00:23:05 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-02-09 09:20:16 +0700 |
| commit | d1169f089b23d0d9c83afe7d6f5d8d31f624f5dd (patch) | |
| tree | 3a755594e5411233ada1a0097db6d334c1cdaf6d /games/ember/configure.patch | |
| parent | c1fa7ec228392481904847a3a36ec30fd3fe431b (diff) | |
| download | slackbuilds-d1169f089b23d0d9c83afe7d6f5d8d31f624f5dd.tar.gz slackbuilds-d1169f089b23d0d9c83afe7d6f5d8d31f624f5dd.tar.xz | |
games/ember: Updated for version 0.7.2.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'games/ember/configure.patch')
| -rw-r--r-- | games/ember/configure.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/games/ember/configure.patch b/games/ember/configure.patch new file mode 100644 index 0000000000..415950c7f7 --- /dev/null +++ b/games/ember/configure.patch @@ -0,0 +1,11 @@ +--- ember-0.7.2/configure.old 2016-02-06 13:43:10.960997615 +0700 ++++ ember-0.7.2/configure 2016-02-06 13:43:40.090962492 +0700 +@@ -18020,7 +18020,7 @@ + { $as_echo "$as_me:${as_lineno-$LINENO}: result: $boost_cv_lib_version" >&5 + $as_echo "$boost_cv_lib_version" >&6; } + # e.g. "134" for 1_34_1 or "135" for 1_35 +- boost_major_version=`echo "$boost_cv_lib_version" | sed 's/_//;s/_.*//'` ++ boost_major_version=159 + case $boost_major_version in #( + '' | *[!0-9]*) + as_fn_error $? "invalid value: boost_major_version=$boost_major_version" "$LINENO" 5 |