1 files changed, 44 insertions, 23 deletions
diff --git a/configure b/configure
index 6acfaeb..0037908 100755
--- a/configure
+++ b/configure
@@ -1,27 +1,48 @@
-#!/bin/sh
+#!/usr/bin/env ocaml
+(* -*- tuareg -*- *)
 
-# OASIS_START
-# DO NOT EDIT (digest: dc86c2ad450f91ca10c931b6045d0499)
-set -e
+type 'a value =
+    | This of 'a
+    | Auto
 
-FST=true
-for i in "$@"; do
-  if $FST; then
-    set --
-    FST=false
-  fi
+let string_of_value to_string = function
+  | This a -> "This (" ^ to_string a ^ ")"
+  | Auto -> "Auto"
 
-  case $i in
-    --*=*)
-      ARG=${i%%=*}
-      VAL=${i##*=}
-      set -- "$@" "$ARG" "$VAL"
-      ;;
-    *)
-      set -- "$@" "$i"
-      ;;
-  esac
-done
+let () =
+  let declare_flag arg description =
+    let reference = ref Auto in
+    let args =
+       [ "--enable-" ^ arg, Arg.Unit (fun () -> reference := This true),
+         " Enable " ^ description
+       ; "--disable-" ^ arg, Arg.Unit (fun () -> reference := This false),
+         " Disable " ^ description
+       ]
+    in args, reference
+   in
+  let args_zlib, ref_zlib = declare_flag "zlib" "ZLib" in
+  let args_hardware_support, ref_hardware_support =
+    declare_flag "hardwaresupport"
+                 "hardware support for AES and GCM (needs GCC or Clang)" in
+  Arg.parse
+    (Arg.align (args_zlib @ args_hardware_support))
+    (fun s -> raise (Arg.Bad (Printf.sprintf "don't know what to do with %S" s)))
+    "Usage: ./configure [OPTIONS]";
+  let oc = open_out_bin "src/config/config_vars.ml" in
+  Printf.fprintf oc {|
+type 'a value =
+    | This of 'a
+    | Auto
 
-ocaml setup.ml -configure "$@"
-# OASIS_STOP
+let enable_zlib = %s
+let enable_hardware_support = %s
+|}
+    (string_of_value string_of_bool !ref_zlib)
+    (string_of_value string_of_bool !ref_hardware_support);
+  close_out oc;
+  (* Below is a temporary workaround to make sure the configuration happens
+     every time this script is run. *)
+  (try
+    Sys.remove "_build/default/src/flags.sexp";
+  with _ -> ());
+  exit (Sys.command "dune build @configure --release")