github.com/emc-advanced-dev/unik@v0.0.0-20190717152701-a58d3e8e33b7/containers/compilers/rump/java/create_rump_java_bin.sh (about)

     1  #!/usr/bin/env bash
     2  
     3  set -x -e
     4  cp /opt/rumprun-packages/openjdk8/bin/java.bin /opt/code/program.bin
     5  cp -r /opt/rumprun-packages/openjdk8/build/javadist/jvm/openjdk-1.8.0-internal/ /opt/code/jdk
     6  cp /tmp/build/program.jar /opt/code/
     7  if [[ "$MAIN_FILE" == *.war ]]; then
     8      echo "building jetty unikernel"
     9      cp -r /tmp/build/jetty-distribution-*/ /opt/code/jetty
    10      mv /opt/code/$MAIN_FILE /opt/code/jetty/webapps/$MAIN_FILE
    11  fi