Install ISL issue on macbookpro

[Minnie Ho]

Issues with ISL install on MacOS

I did the following:

minnieho@Minnies-MacBook-Pro ~ % brew install isl

Warning: isl 0.22 is already installed and up-to-date

To reinstall 0.22, run `brew reinstall isl`

 

I checked and symbolic links to the ISL libraries are located in the following directory (/usr/local/lib):

minnieho@Minnies-MacBook-Pro lib % ls -lt libisl*

lrwxr-xr-x  1 minnieho  admin  35 Jan 26 16:18 libisl.dylib -> ../Cellar/isl/0.22/lib/libisl.dylib

lrwxr-xr-x  1 minnieho  admin  31 Jan 26 16:18 libisl.a -> ../Cellar/isl/0.22/lib/libisl.a

lrwxr-xr-x  1 minnieho  admin  38 Jan 26 16:18 libisl.22.dylib -> ../Cellar/isl/0.22/lib/libisl.22.dylib

 

However, when I try to run a Spatial app, I get a warning that ISL is not installed (see below):

Has anyone run into this?  I tried to look on the Internet, but can't find any fixes.

 

[info] Loading project definition from /Users/minnieho/Documents/Stanford classes/CS 217/spatial-quickstart/project

[info] Loading settings for project spatial-quickstart from build.sbt ...

[info] Set current project to spatial-app (in build file:/Users/minnieho/Documents/Stanford%20classes/CS%20217/spatial-quickstart/)

[warn] sbt server could not start because there's another instance of sbt running on this build.

[warn] Running multiple instances is unsupported

sbt:spatial-app> runMain HelloSpatialAddition --sim

[warn] Multiple main classes detected.  Run 'show discoveredMainClasses' to see the list

[info] running HelloSpatialAddition --sim

[warn] No target specified. Specify target using: --fpga <device> or

[warn] override val target = <device>

[warn] Defaulting to 'Default' device.

[warn] Area model file Zynq_Area.csv for target Zynq was missing expected fields: 

[warn] BRAM

[warn] Output directory /Users/minnieho/Documents/Stanford classes/CS 217/spatial-quickstart/gen/HelloSpatialAddition already exists!  Generated files

[warn] from other targets may still exist and may interfere with this build!

[info] Compiling HelloSpatialAddition to /Users/minnieho/Documents/Stanford classes/CS 217/spatial-quickstart/gen/HelloSpatialAddition/

[warn] libisl appears to be missing!  Please install http://isl.gforge.inria.fr/

[info] emptiness (/Users/minnieho/bin/emptiness): Installed Version = 1.2, Required Version = 1.2

[info] Banking summary report written to /Users/minnieho/Documents/Stanford classes/CS 217/spatial-quickstart/gen/HelloSpatialAddition//banking//decisions.html

[info] Completed

[warn] 1 warning found

[success] Total time: 1.4250 seconds

[success] Total time: 3 s, completed Jan 26, 2020 4:44:31 PM

[Matt F]

Hi Minnie,

You can just ignore that.  The important thing is that it says emptiness (/Users/minnieho/bin/emptiness): Installed Version = 1.2, Required Version = 1.2 so you have the emptiness executable on your path (whether you did it yourself or spatial did it automatically).  It just does this dumb check that is not ideal and apparently may fail on mac.  (val isl_missing = ("whereis libisl" !!).indexOf("/") == -1)