added dockerbuild

dreal · May 21, 2016 · fd01e3f · fd01e3f
1 parent 684f20a
commit fd01e3f
Show file tree

Hide file tree

Showing 4 changed files with 17 additions and 10 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -1,10 +1,4 @@
 FROM dreal/dreal3
 MAINTAINER Fedor Shmarov <[email protected]>
-RUN apt-get -y install libgsl0-dev
-COPY . /usr/local/src/probreach
-WORKDIR /usr/local/src/probreach
-RUN mkdir -p /build/release
-WORKDIR /usr/local/src/probreach/build/release
-RUN cmake ../../
-RUN make
-ENTRYPOINT ["/usr/local/src/probreach/bin/ProbReach"]
+COPY bin/ProbReach /usr/local/bin/ProbReach
+#ENTRYPOINT ProbReach
diff --git a/dockerbuild/Dockerfile b/dockerbuild/Dockerfile
@@ -0,0 +1,9 @@
+FROM dreal/dreal3-build
+MAINTAINER Fedor Shmarov <[email protected]>
+VOLUME /usr/local/src/probreach/src
+VOLUME /usr/local/src/probreach/bin
+RUN apt-get -y install libgsl0-dev
+RUN mkdir -p /usr/local/src/probreach/build/release
+WORKDIR /usr/local/src/probreach/build/release
+COPY build.sh .
+ENTRYPOINT /bin/bash build.sh
diff --git a/dockerbuild/build.sh b/dockerbuild/build.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+cmake ../../src
+make
diff --git a/CMakeLists.txt → src/CMakeLists.txt b/CMakeLists.txt → src/CMakeLists.txt
@@ -11,8 +11,8 @@ set(CMAKE_CXX_FLAGS "${CMAKE_CXX_FLAGS} -O3 -Wall -Wno-sign-compare -Wno-unused-
 set(CMAKE_EXE_LINKER_FLAGS "-static-libgcc -static-libstdc++")
 
 # setting some environment variables
-set(PROBREACH_SOURCE_DIR ${PROJECT_SOURCE_DIR}/src)
-set(PROBREACH_BINARY_DIR ${PROJECT_SOURCE_DIR}/build/release)
+set(PROBREACH_SOURCE_DIR ${PROJECT_SOURCE_DIR})
+set(PROBREACH_BINARY_DIR ${PROJECT_SOURCE_DIR}/../build/release)
 set(CMAKE_RUNTIME_OUTPUT_DIRECTORY ${PROBREACH_BINARY_DIR})
 
 # checking if dReal binary is set