diff options
author | Romain Reignier | 2015-09-29 19:01:58 +0200 |
---|---|---|
committer | Romain Reignier | 2015-09-29 19:01:58 +0200 |
commit | 922eb5b13ed4b3578a68dd14638995c5e9f7ea77 (patch) | |
tree | 52875e091d52964b36758192c3a3394a3608e08b | |
parent | 4f9b18bbd59f566b185a5cfb82bd86a2a6b98c82 (diff) | |
download | aur-922eb5b13ed4b3578a68dd14638995c5e9f7ea77.tar.gz |
Update to version 1.12.4
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 3 |
2 files changed, 4 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = ros-indigo-map-server pkgdesc = ROS - map_server provides the map_server ROS Node, which offers map data as a ROS Service. - pkgver = 1.11.11 + pkgver = 1.12.4 pkgrel = 1 url = http://wiki.ros.org/map_server arch = any @@ -21,7 +21,7 @@ pkgbase = ros-indigo-map-server depends = ros-indigo-roscpp depends = sdl_image depends = yaml-cpp - source = map_server::git+https://github.com/ros-gbp/navigation-release.git#tag=release/indigo/map_server/1.11.11-0 + source = map_server::git+https://github.com/ros-gbp/navigation-release.git#tag=release/indigo/map_server/1.12.4-0 md5sums = SKIP pkgname = ros-indigo-map-server @@ -4,7 +4,7 @@ pkgdesc="ROS - map_server provides the map_server ROS Node, which offers map dat url='http://wiki.ros.org/map_server' pkgname='ros-indigo-map-server' -pkgver='1.11.11' +pkgver='1.12.4' _pkgver_patch=0 arch=('any') pkgrel=1 @@ -53,6 +53,7 @@ build() { -DPYTHON_EXECUTABLE=/usr/bin/python2 \ -DPYTHON_INCLUDE_DIR=/usr/include/python2.7 \ -DPYTHON_LIBRARY=/usr/lib/libpython2.7.so \ + -DPYTHON_BASENAME=-python2.7 \ -DSETUPTOOLS_DEB_LAYOUT=OFF make } |