summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorBenjamin Chrétien2015-02-19 11:35:35 +0100
committerBenjamin Chrétien2015-02-19 11:37:58 +0100
commit6de104427b74f1a285c5e5b420715162a5782c8f (patch)
tree25424717019b3de4d6076282b6cafd520f5b01f7
parenta73b2cc132377986f46d69f1f162557a7f22c891 (diff)
downloadaur-6de104427b74f1a285c5e5b420715162a5782c8f.tar.gz
Add gazebo-hg, update roboptim-core((-python)-git).
-rw-r--r--.SRCINFO2
-rwxr-xr-xPKGBUILD4
2 files changed, 3 insertions, 3 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 931c468e54f9..c143f63bb684 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -15,7 +15,7 @@ pkgbase = roboptim-core-git
depends = log4cxx>=0.10
provides = roboptim-core
conflicts = roboptim-core
- source = roboptim-core::git://github.com/roboptim/roboptim-core.git
+ source = roboptim-core::git+https://github.com/roboptim/roboptim-core.git#branch=master
md5sums = SKIP
pkgname = roboptim-core-git
diff --git a/PKGBUILD b/PKGBUILD
index cee7eae2f9d9..f2c94f91c39d 100755
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -13,14 +13,14 @@ provides=('roboptim-core')
conflicts=('roboptim-core')
# Repository location
-_gitroot="git://github.com/roboptim/roboptim-core.git"
+_gitroot="git+https://github.com/roboptim/roboptim-core.git#branch=master"
_gitname="roboptim-core"
source=("${_gitname}"::${_gitroot})
md5sums=('SKIP')
# Build type
-_buildtype="RELWITHDEBINFO"
+_buildtype="RelWithDebInfo"
# Build directory
_builddir="${_gitname}-build"