| Line | |
|---|
| 1 | |
|---|
| 2 | all: eigen |
|---|
| 3 | |
|---|
| 4 | clean: |
|---|
| 5 | rm -rf eigen/ |
|---|
| 6 | |
|---|
| 7 | EIGEN_PATCH=eigen_fix_gcc_610_compile.patch |
|---|
| 8 | |
|---|
| 9 | # For some weird reason tar command below sometimes generates files with wrong ownership (happened in a virtual machine). |
|---|
| 10 | # If so, the following patch command fails. |
|---|
| 11 | # Workaround: patch again after 10 seconds (and once more after 30 seconds) |
|---|
| 12 | |
|---|
| 13 | eigen: eigen.tgz $(EIGEN_PATCH) Makefile |
|---|
| 14 | tar --no-same-owner -zxf $< |
|---|
| 15 | patch -p0 < $(EIGEN_PATCH) || \ |
|---|
| 16 | ( sleep 10 ; patch -p0 < $(EIGEN_PATCH) || \ |
|---|
| 17 | ( sleep 30 ; patch -p0 < $(EIGEN_PATCH) ) ) |
|---|
| 18 | touch eigen/ |
|---|
| 19 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
