Update Haskell backend submodule version (runtimeverification#345)

ehildenb · web-flow · commit 701495bad3b3 · 2019-03-13T14:01:32.000-05:00
* Dockerfile: new path for haskell-backend package.yaml

* haskell-backend: update submodule

* Dockerfile: add --no-haddock-deps options to stack build
diff --git a/Dockerfile b/Dockerfile
@@ -26,9 +26,9 @@ RUN    cd /home/user \
 
 ENV LC_ALL=C.UTF-8
 ADD --chown=user:user haskell-backend/src/main/native/haskell-backend/stack.yaml /home/user/.tmp-haskell/
-ADD --chown=user:user haskell-backend/src/main/native/haskell-backend/src/main/haskell/kore/package.yaml /home/user/.tmp-haskell/src/main/haskell/kore/
+ADD --chown=user:user haskell-backend/src/main/native/haskell-backend/kore/package.yaml /home/user/.tmp-haskell/kore/
 RUN    cd /home/user/.tmp-haskell \
-    && stack build --only-snapshot --test --bench --haddock --library-profiling
+    && stack build --only-snapshot --test --bench --no-haddock-deps --haddock --library-profiling
 
 ADD --chown=user:user llvm-backend/src/main/native/llvm-backend/matching/stack.yaml /home/user/.tmp-haskell2/
 ADD --chown=user:user llvm-backend/src/main/native/llvm-backend/matching/package.yaml /home/user/.tmp-haskell2/
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 619778b4e6dca07173a4533f2c2ef56cd26af601
+Subproject commit 14889939a6e8a1571a645821cfd9dcb903bc7b8e
