Skip to content
Snippets Groups Projects
Commit c92a187b authored by phheim's avatar phheim
Browse files

got MuVal running

parent d6ec76f6
No related branches found
No related tags found
No related merge requests found
......@@ -7,7 +7,11 @@ RUN apt-get update && \
build-essential \
g++ \
wget \
z3
opam \
z3 \
libblas-dev \
liblapack-dev \
python3-distutils
# Install Haskell stack
RUN wget -qO- https://get.haskellstack.org/ | sh
......@@ -18,15 +22,19 @@ COPY . home/tool
WORKDIR /home/tool
# Build the pestel executable inside pestel folder
RUN cd pestel && make && cd ..
# RUN cd pestel && make && cd ..
# Build the rpg-STeLA executable
RUN cd rpg-stela && make && cd ..
#RUN cd rpg-stela && make && cd ..
# Build the conversion tool for MuVals input
RUN cd rpglib && make && cd ..
# RUN cd rpglib && make && cd ..
# Build MuVal
# TODO
RUN opam init --disable-sandboxing
RUN opam switch create 5.0.0
RUN opam install dune
RUN cd muval && eval $(opam env) && opam install . --deps-only --confirm-level=yes && cd ..
RUN cd muval && eval $(opam env) && dune build main.exe && cd ..
LABEL Name=rpg-stela Version=1.0
......@@ -165,6 +165,7 @@ let rec sort_of env s =
| Z3enums.CHAR_SORT -> failwith "CHAR_SORT not supported"
| Z3enums.UNKNOWN_SORT ->
failwith @@ "[z3:sort_of] UNKNOWN_SORT not supported:" ^ Z3.Sort.to_string s
| _ ->failwith "QUICK FIX: NOT SUPPORTED"
let look_up_func_of_dt dt sort func =
(* Debug.print @@ lazy (sprintf "look_up_func:%d :%s" (Z3.FuncDecl.get_id func) (Z3.FuncDecl.to_string func)); *)
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment