Install XCode through the app store installer.
After installing XCode, install the XCode developer tools using the command:
xcode-select --install
Clone the Scout repository from GitHub.
git clone https://github.com/uwplse/scout.git
cd scout
Make sure you have Python 3 installed (3.5 or higher).
Install 'virtualenv' through the command
pip install virtualenv
Create the virtual environment
virtualenv --python=python3.X scout
Activate the virtual environment
source scout/bin/activate
pip install -r requirements.txt
*** Make sure you have the Python virtual environment created above still activated when you build/install Z3.
Clone Z3 into the same directory as scout.
The structure should be:
GitHub/
scout
z3
git clone https://github.com/Z3Prover/z3
cd z3
python scripts/mk_make.py --python # Compile Z3 with Python bindings
cd build
make # (Takes ~20 minutes on a standard MacBook Pro)
make install
Install NodeJS and npm if you do not already have them.
https://www.npmjs.com/get-npm
OR
brew install node
Install the npm packages for building the web application.
cd scout
cd static
npm install
npm run watch # Build the web page and watch for changes to the JS code
If you want to just build the web application without watching for changes to the JS:
cd scout
cd static
npm run build
cd scout
./run.sh
Open http://localhost:5000/
Instructions TBD
This is an xd plugin that we used to export a JSON tree with the data required for measuring spatial diversity across pairs of layouts in the evaluation. The plugin prints a JSON tree to the console, which needs to be copied to another file to run the analysis scripts. S