Commit e471868c authored by Pablo Toharia's avatar Pablo Toharia

Modified eigen's github mirror url.

parent b06fb6ea
#!/bin/bash
mkdir -p ~/opt/src && cd ~/opt/src
git clone https://github.com/RLovelett/eigen
git clone https://github.com/eigenteam/eigen-git-mirror eigen
cd eigen
git checkout 3.1.2
mkdir -p Release && cd Release
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment