diff options
| author | David Shah <davey1576@gmail.com> | 2019-01-27 14:56:42 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-27 14:56:42 +0000 |
| commit | b8bff6b8b595c1991e9a9e02528999abc03a3543 (patch) | |
| tree | 549684dd895919d96b6e2767eead1f91687c76be | |
| parent | dbaae51159dcf09a22f0f31153bd7b3d21dc71b3 (diff) | |
| parent | 95ed84fd91d4ada949732ba8e1228dfaea10da2c (diff) | |
| download | nextpnr-b8bff6b8b595c1991e9a9e02528999abc03a3543.tar.gz nextpnr-b8bff6b8b595c1991e9a9e02528999abc03a3543.tar.bz2 nextpnr-b8bff6b8b595c1991e9a9e02528999abc03a3543.zip | |
Merge pull request #210 from twam/master
Search for trellis in /usr/local/share/trellis if not specified with …
| -rw-r--r-- | ecp5/family.cmake | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ecp5/family.cmake b/ecp5/family.cmake index 461fed4f..679325b2 100644 --- a/ecp5/family.cmake +++ b/ecp5/family.cmake @@ -2,11 +2,11 @@ set(devices 25k 45k 85k) if (NOT DEFINED TRELLIS_ROOT) - message(FATAL_ERROR "you must define TRELLIS_ROOT using -DTRELLIS_ROOT=/path/to/prjtrellis for ECP5 support") + message(STATUS "TRELLIS_ROOT not defined using -DTRELLIS_ROOT=/path/to/prjtrellis. Default to /usr/local/share/trellis") + set(TRELLIS_ROOT "/usr/local/share/trellis") endif() - -file( GLOB found_pytrellis ${TRELLIS_ROOT}/libtrellis/pytrellis.*) +file(GLOB found_pytrellis ${TRELLIS_ROOT}/libtrellis/pytrellis.*) if ("${found_pytrellis}" STREQUAL "") message(FATAL_ERROR "failed to find pytrellis library in ${TRELLIS_ROOT}/libtrellis/") |