Merge branch 'master' of gitlab-ext.galois.com:macaw/macaw

scripts/pull_deps.sh

@@ -0,0 +1,25 @@
+#!/bin/bash
+
+set -e
+
+clone ()
+{
+    local depname=$1
+    local url=$2
+    if [ -d deps/$depname ]; then
+        pushd deps/$depname > /dev/null
+        git pull
+        popd > /dev/null
+    else
+        pushd deps > /dev/null
+        git clone $url $depname
+        popd > /dev/null
+    fi
+}
+
+mkdir -p deps
+
+clone elf-edit            git@github.com:GaloisInc/elf-edit.git
+clone galois-dwarf        git@github.com:GaloisInc/dwarf.git
+clone flexdis86           git@github.com:GaloisInc/flexdis86.git
+clone parameterized-utils git@github.com:GaloisInc/parameterized-utils.git

stack.yaml

@@ -2,8 +2,11 @@ flags: {}
 packages:
 - '.'
 - 'deps/elf-edit'
-- 'deps/galois-dwarf'
 - 'deps/flexdis86'
+- 'deps/galois-dwarf'
 - 'deps/parameterized-utils'
 extra-deps:
-resolver: lts-6.23
+- containers-0.5.8.1
+- kan-extensions-5.0.1
+- lens-4.15.1
+resolver: lts-6.23