diff --git a/.travis.yml b/.travis.yml index 34d0e3bf..bb099b7f 100644 --- a/.travis.yml +++ b/.travis.yml @@ -6,6 +6,6 @@ services: - docker script: -- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.13.1-ubuntu18.04 /bin/bash -c 'cd /root/occlum; +- docker run -v /home/travis/build/occlum/occlum:/root/occlum occlum/occlum:0.14.0-ubuntu18.04 /bin/bash -c 'cd /root/occlum; info=$(make format-check); if [ -n "$info" ]; then echo "Format error detected."; exit 1; fi; make submodule; SGX_MODE=SIM make; SGX_MODE=SIM make test' diff --git a/README.md b/README.md index 33f0a358..121c90c5 100644 --- a/README.md +++ b/README.md @@ -177,7 +177,7 @@ Step 1-3 are to be done on the host OS (Linux): 3. Run the Occlum Docker container, which has Occlum and its demos preinstalled: ``` - docker run -it --device /dev/isgx occlum/occlum:0.13.1-ubuntu18.04 + docker run -it --device /dev/isgx occlum/occlum:0.14.0-ubuntu18.04 ``` Step 4-5 are to be done on the guest OS running inside the Docker container: diff --git a/src/libos/Cargo.lock b/src/libos/Cargo.lock index fd41f318..804c8fde 100644 --- a/src/libos/Cargo.lock +++ b/src/libos/Cargo.lock @@ -2,7 +2,7 @@ # It is not intended for manual editing. [[package]] name = "Occlum" -version = "0.13.1" +version = "0.14.0" dependencies = [ "bitflags", "bitvec", diff --git a/src/libos/Cargo.toml b/src/libos/Cargo.toml index 68595353..e67702fc 100644 --- a/src/libos/Cargo.toml +++ b/src/libos/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "Occlum" -version = "0.13.1" +version = "0.14.0" edition = "2018" [lib] diff --git a/src/pal/include/occlum_version.h b/src/pal/include/occlum_version.h index c0977560..1e5cd324 100644 --- a/src/pal/include/occlum_version.h +++ b/src/pal/include/occlum_version.h @@ -1,8 +1,9 @@ #ifndef _OCCLUM_VERSION_H_ #define _OCCLUM_VERSION_H_ +// Version = 0.14.0 #define OCCLUM_MAJOR_VERSION 0 -#define OCCLUM_MINOR_VERSION 13 +#define OCCLUM_MINOR_VERSION 14 #define OCCLUM_PATCH_VERSION 0 #define STRINGIZE_PRE(X) #X