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
git branchfrom thevirtuoso-opensourcedirectory, what branch does it say you're on? Do you know for sure that the version of virtuoso in thedevelop/7branch has had its version number incremented? Where does the version number fromvirtuoso-t -?come from?virtuoso-t -?is. Are you sure you don't have more than one version installed on your machine?where virtuoso -tto check for existing installations