docker compose nearly working, formatting issue with raml

docker-compose.yml

@@ -8,7 +8,7 @@ services:
       # args:
       #   - TZ=${TZ}
     env_file:
-      - .env
+      - .env.example
     # links:
     #   - db
     #   - solr
@@ -40,6 +40,13 @@ services:
       - ./node:/node/app
       - /node/app/node_modules
 
+  raml:
+    build: 
+      context: raml/
+      dockerfile: Dockerfile
+    ports: 
+      - 5000:5000
+
 
 volumes:
   repository:

learn-ocaml-client.install

@@ -0,0 +1,11 @@
+lib: [
+  "_build/install/default/lib/learn-ocaml-client/META" {"META"}
+  "_build/install/default/lib/learn-ocaml-client/opam" {"opam"}
+]
+bin: [
+  "_build/install/default/bin/learn-ocaml-client" {"learn-ocaml-client"}
+]
+doc: [
+  "_build/install/default/doc/learn-ocaml-client/LICENSE"
+  "_build/install/default/doc/learn-ocaml-client/README.md"
+]

raml/CHANGES

@@ -0,0 +1,34 @@
+== Verion 1.4.1, July 2018
+
+- Support for nested pattern matches
+- Lower bounds work with the heap metric
+- RaML generates the cmi for its runtime libraray
+  and thus does not rely on OCaml 4.02.0 anymore
+- Switch to Core v0.11.1 and PPX
+
+== Verion 1.3.1, July 2016
+
+- New analysis for lower bounds
+- New analysis for constant resource usage
+- Many new examples
+- Better support for natural numbers
+
+== Verion 1.2.1, March 2016
+
+- Better support for patterns in function definitions
+
+- Fixed a bug that prevented the use of the match construct with
+  tuples
+
+== Verion 1.1.1, December 2015
+
+- More tests and example program
+
+- By default the degree is no increased successively till the max
+  degree is reached
+
+== Verion 1.1, November 2015
+
+Bugfixes. Better support for reference and arrays.
+
+== Verion 1.0, July 2015

raml/Dockerfile

@@ -0,0 +1,70 @@
+FROM ocaml/opam2:alpine as raml_deps
+
+RUN opam switch 4.06
+
+#Need this dependency for conf-m4 (ocaml module)
+RUN sudo apk add m4
+
+
+RUN sudo apk add linux-headers
+
+
+
+RUN opam install ocamlfind 
+RUN eval $(opam env)
+# Installing ocamlfind seems to mess up PATH
+ENV PATH $PATH:/home/opam/.opam/4.06/bin
+
+
+
+
+
+RUN opam install core ppx_deriving cohttp lwt cohttp-lwt-unix ezjsonm ocplib-json-typed
+
+
+
+
+
+
+
+#COPY the LP solver files
+COPY . .
+
+
+
+#Installing the LP solver
+WORKDIR clp/coin-Clp
+
+
+#Need a fortran compiler for coin-Clp
+RUN sudo apk add gfortran
+
+RUN sudo ./configure -C
+RUN sudo make
+RUN sudo make install
+
+
+WORKDIR ../..
+
+RUN sudo ./configure --with-coin-clp clp/coin-Clp
+
+ENV LD_LIBRARY_PATH /clp/coin-Clp/lib
+
+#RUN eval $(opam env)
+
+# Installing ocamlfind seems to mess up PATH
+ENV PATH $PATH:/home/opam/.opam/4.06/bin
+
+
+
+ENV LD_LIBRARY_PATH  /home/opam/opam-repository/clp/coin-Clp/lib
+
+
+RUN sudo env "PATH=$PATH" "LD_LIBRARY_PATH=$LD_LIBRARY_PATH" ./configure --with-coin-clp clp/coin-Clp
+RUN sudo env "PATH=$PATH" "LD_LIBRARY_PATH=$LD_LIBRARY_PATH" make -j 8
+
+
+EXPOSE 5000
+
+CMD ["./main"]
+

raml/ISSUES

@@ -0,0 +1,17 @@
+
+1) Strings and integers
+
+Strings and integers are currently not supported. Please use integer
+lists and natural numbers (see raml_runtime/rnat.ml).
+
+2) Built-in equality
+
+Built-in equality is only supported for ground types such as integer,
+bool and float. Therefore is not possible to use equality in a
+polymorphic function. Fix: Add type annotations or make equality a
+function parameter.
+
+5) Exceptions
+
+Exceptions are currently (version 1.3) broken for the constant
+resource usage and lower bound analysis and programs.

raml/LICENSE

@@ -0,0 +1,42 @@
+The file ocaml-4.01.0.tar.gz is the OCaml compiler, distribed under Q Public
+License and GNU Library General Public License version 2 as explained in
+the file ocaml-4.01.0/LICENSE contained in the archive.
+
+The files in the folder examples/compcert are based on extracted OCaml
+code from the CompCert verified compiler. The CompCert verified
+compiler is distributed under the terms of the INRIA Non-Commercial
+License Agreement given below or under the terms of a Software Usage
+Agreement of AbsInt Angewandte Informatik GmbH.  Details can be found in
+the file examples/compcert/LICENSE
+
+
+All other files are distributed under the BSD 2-clause license included below.
+
+-----------------------------------------------------------------------
+
+Copyright (c) 2016, Jan Hoffmann, Shu-Chun Weng, and Ankush Das
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+
+2. Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+
+THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+SUCH DAMAGE.
+