aboutsummaryrefslogtreecommitdiff
path: root/ports/eigen3
AgeCommit message (Expand)Author
2016-09-29[eigen3] Avoid calling file(REMOVE ...) with a blank argumentRobert Schumacher
2016-09-28Introduce SOURCE_PATH to almost all portfilesAlexander Karatarakis
2016-09-25URL and MIRRORS are now URLSNinetainedo
2016-09-22Replaced everything concerning MD5 with SHA512Ninetainedo
2016-09-21[eigen] Renamed to eigen3Sergey Kosarevsky