This wiki gives detailed information of the project "Dependency calculation using SAT solving" as part of GSoC 2015. wiki:SummerOfCode2015#dependencies || '''Student''' || '''Mentor''' || || [wiki:ijackson Jackson Isaac] || [wiki:cal Clemens Lang] || '''Installing gsoc15-dependency branch''' [[BR]] Create a folder under ~/Development/libsolv so that we can clone and install the branch inside this prefix and not interfere with the stable MacPorts installation. {{{ mkdir -p ~/Development/libsolv cd ~/Development/libsolv svn co https://svn.macports.org/repository/macports/branches/gsoc15-dependency cd gsoc15-dependency/base env PATH=/usr/bin:/bin:/usr/sbin:/sbin CFLAGS="-pipe -Os" ./configure --enable-readline --prefix ~/Development/libsolv/mp_gsoc && make sudo make install }}} '''Creating alias for gsoc15-dependency port''' {{{ echo "alias portlibsolv=\"$HOME/Development/libsolv/mp_gsoc/bin/port\"" >> ~/.bash_profile echo "alias sudo=\"sudo \"" >> ~/.bash_profile }}} I have written a small shell script to do the above tasks at https://raw.githubusercontent.com/JacksonIsaac/macports-libsolv/master/mplibsolv.sh