wiki:SummerOfCode2015Libsolv

Version 1 (modified by JacksonIsaac (Jackson Isaac), 6 years ago) (diff)

Create wiki page for gsoc15-dependency, Dependency calculation using SAT Solver (Libsolv).

This wiki gives detailed information of the project "Dependency calculation using SAT solving" as part of GSoC 2015. wiki:SummerOfCode2015#dependencies

Student Mentor
Jackson Isaac Clemens Lang

Installing gsoc15-dependency branch
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