diff --git a/backend/Dockerfile b/backend/Dockerfile index 1da81490a4699cc9a33439339b48337e30870c71..3361f84419b804f059503c88150c1c83cb20dbfc 100644 --- a/backend/Dockerfile +++ b/backend/Dockerfile @@ -5,7 +5,7 @@ COPY libs.json /usr/src/cloogle/libs.json COPY util/fetch_libs.sh /usr/src/cloogle/fetch_libs.sh WORKDIR /usr/src/cloogle -RUN install_clean.sh 'base lib-platform lib-tcpip' 2018-09-30 \ +RUN install_clean.sh 'base lib-platform lib-tcpip' 2018-10-12 \ && PACKAGES="patch jq" \ && apt-get update -qq\ && apt-get install -qq $PACKAGES --no-install-recommends\ diff --git a/backend/Util/Cache.icl b/backend/Util/Cache.icl index 421e777af665a075918b681132fc1eb4e905cab9..12fe44f4add64f956f6220278cd3046b4515616a 100644 --- a/backend/Util/Cache.icl +++ b/backend/Util/Cache.icl @@ -1,7 +1,8 @@ implementation module Util.Cache import StdFile -import StdFunc +from StdFunc import seqList, :: St +import StdFunctions import StdList import StdOrdList import StdString