Reputation: 2989
I cloned Git by running the following command (as root):
git clone git://github.com/openlink/virtuoso-opensource.git
Then I moved to the version which I want to install by typing:
cd virtuoso-opensource
git checkout -t remotes/origin/develop/7
Then I ran the following commands:
./configure
make
make install
However, after installation I found that the installed package is not develop/7. The installed package is develop/6 (I checked using virtuoso-t -?
). How can I fix this problem?
/usr/local/virtuoso-opensource/var/lib/virtuoso/db# virtuoso-t -?
This is the output which I get:
Virtuoso Open Source Edition (multi threaded)
Version 6.1.4.3127-pthreads as of Feb 15 2012
Upvotes: 1
Views: 103
Reputation:
The command that you ran,
git checkout -t remotes/origin/develop/7
will do exactly what you asked. It will create a local branch develop/7
based off of and set up to track the remote branch remotes/origin/develop/7
. I'm not sure why the command virtuoso-t -?
tells you that the "installed package is develop/6
".
Upvotes: 3