From 2188183531f076ab706914661f433a6ea5aec66e Mon Sep 17 00:00:00 2001 From: Vasilis Papavasileiou Date: Wed, 1 Aug 2018 16:36:32 +0200 Subject: [PATCH] Add Ocsigen_getcommandline mli's to produce compatible cmi's This fixes compilation with OCaml 4.07 . --- src/baselib/commandline/ocsigen_getcommandline.mli | 3 +++ src/baselib/nocommandline/ocsigen_getcommandline.mli | 3 +++ 2 files changed, 6 insertions(+) create mode 100644 src/baselib/commandline/ocsigen_getcommandline.mli create mode 100644 src/baselib/nocommandline/ocsigen_getcommandline.mli diff --git a/src/baselib/commandline/ocsigen_getcommandline.mli b/src/baselib/commandline/ocsigen_getcommandline.mli new file mode 100644 index 000000000..d853ae3e7 --- /dev/null +++ b/src/baselib/commandline/ocsigen_getcommandline.mli @@ -0,0 +1,3 @@ +(** Contains the command line that will be parsed by the server + when Ocsigen_commandline is linked *) +val commandline : string array diff --git a/src/baselib/nocommandline/ocsigen_getcommandline.mli b/src/baselib/nocommandline/ocsigen_getcommandline.mli new file mode 100644 index 000000000..d853ae3e7 --- /dev/null +++ b/src/baselib/nocommandline/ocsigen_getcommandline.mli @@ -0,0 +1,3 @@ +(** Contains the command line that will be parsed by the server + when Ocsigen_commandline is linked *) +val commandline : string array