Prepare release

Author: Drup

.jenkins.sh

@@ -6,7 +6,7 @@
 # Generic Makefile for oasis project
 
 # Set to setup.exe for the release
-SETUP := setup-dev.exe
+SETUP := setup.exe
 
 # Default rule
 default: build

Makefile

@@ -1,5 +1,27 @@
 #!/bin/sh
 
 # OASIS_START
-make configure CONFIGUREFLAGS="$*"
+# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
+set -e
+
+FST=true
+for i in "$@"; do
+  if $FST; then
+    set --
+    FST=false
+  fi
+
+  case $i in
+    --*=*)
+      ARG=${i%%=*}
+      VAL=${i##*=}
+      set -- "$@" "$ARG" "$VAL"
+      ;;
+    *)
+      set -- "$@" "$i"
+      ;;
+  esac
+done
+
+ocaml setup.ml -configure "$@"
 # OASIS_STOP

_tags

@@ -0,0 +1,35 @@
+# OASIS_START
+# DO NOT EDIT (digest: ec7c575c209ddf74bc7299feef9302b1)
+src/core/Lwt_condition
+src/core/Lwt_list
+src/core/Lwt
+src/core/Lwt_mutex
+src/core/Lwt_mvar
+src/core/Lwt_pool
+src/core/Lwt_sequence
+src/core/Lwt_stream
+src/core/Lwt_switch
+src/core/Lwt_pqueue
+src/glib/Lwt_glib
+src/preemptive/Lwt_preemptive
+src/react/Lwt_react
+src/ssl/Lwt_ssl
+src/logger/Lwt_log_core
+src/logger/Lwt_log_rules
+src/unix/Lwt_chan
+src/unix/Lwt_daemon
+src/unix/Lwt_gc
+src/unix/Lwt_io
+src/unix/Lwt_log
+src/unix/Lwt_main
+src/unix/Lwt_process
+src/unix/Lwt_throttle
+src/unix/Lwt_timeout
+src/unix/Lwt_unix
+src/unix/Lwt_sys
+src/unix/Lwt_engine
+src/unix/Lwt_bytes
+syntax/Pa_lwt
+syntax/Pa_lwt_log
+ppx/Ppx_lwt
+# OASIS_STOP