| 1 | This wiki gives detailed information of the project "Dependency calculation using SAT solving" as part of GSoC 2015. wiki:SummerOfCode2015#dependencies |
| 2 | |
| 3 | || '''Student''' || '''Mentor''' || |
| 4 | || [wiki:ijackson Jackson Isaac] || [wiki:cal Clemens Lang] || |
| 5 | |
| 6 | '''Installing gsoc15-dependency branch''' |
| 7 | [[BR]] |
| 8 | 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. |
| 9 | |
| 10 | {{{ |
| 11 | mkdir -p ~/Development/libsolv |
| 12 | cd ~/Development/libsolv |
| 13 | svn co https://svn.macports.org/repository/macports/branches/gsoc15-dependency |
| 14 | cd gsoc15-dependency/base |
| 15 | env PATH=/usr/bin:/bin:/usr/sbin:/sbin CFLAGS="-pipe -Os" ./configure --enable-readline --prefix ~/Development/libsolv/mp_gsoc && make |
| 16 | sudo make install |
| 17 | }}} |
| 18 | |
| 19 | |
| 20 | '''Creating alias for gsoc15-dependency port''' |
| 21 | |
| 22 | {{{ |
| 23 | echo "alias portlibsolv=\"$HOME/Development/libsolv/mp_gsoc/bin/port\"" >> ~/.bash_profile |
| 24 | echo "alias sudo=\"sudo \"" >> ~/.bash_profile |
| 25 | }}} |
| 26 | |
| 27 | I have written a small shell script to do the above tasks at https://raw.githubusercontent.com/JacksonIsaac/macports-libsolv/master/mplibsolv.sh |