m4, minsat, picosat, llvm-3.5: install with apt-get in ubuntu 16.04
cryptominisat: compile and install from https://github.com/msoos/cryptominisat/releases/tag/4.5.3
Copy line by line or dump into a bash script.
m4, minsat, picosat, llvm-3.5: install with apt-get in ubuntu 16.04
cryptominisat: compile and install from https://github.com/msoos/cryptominisat/releases/tag/4.5.3
Copy line by line or dump into a bash script.
FROM ocaml/opam | |
RUN sudo apt-get install -y \ | |
libgmp3-dev \ | |
libzmq3-dev \ | |
libffi-dev \ | |
libssl-dev \ | |
zlib1g-dev \ | |
pkg-config \ | |
build-essential \ |
(* Extending the LEDs example with a couple of more advanced features. | |
1) Use interfaces to define the input and output ports of the circuit | |
and then use the generic functors in HardCaml.Interface to avoid | |
needing to explicitly define port names with the `input` and `output` | |
functions. | |
2) Implement the pictorial statemachine from the diagram in the style | |
we would use if writing in VHDL or Verilog |
A simple GIST created to demonstrate ocaml-github javascript integration. |
#!/bin/sh -ex | |
echo 'yes' | sudo apt-add-repository ppa:lvillani/zeromq3 | |
sudo apt-get update | |
sudo apt-get install --force-yes -y libzmq3=3.2.4+dfsg-1~precise1~ppa1 libzmq3-dev=3.2.4+dfsg-1~precise1~ppa1 |
(* | |
An OCaml (4.02) port of the C++ conjugate gradient solver. | |
Demo | |
---- | |
$ ocaml | |
# #use "solver.ml";; | |
# let b, (err, x) = Demo.solve_small();; |
diff --git a/utils/clflags.ml b/utils/clflags.ml | |
index 0f557a7..6cb1a76 100644 | |
--- a/utils/clflags.ml | |
+++ b/utils/clflags.ml | |
@@ -110,4 +110,4 @@ let runtime_variant = ref "";; (* -runtime-variant *) | |
let keep_locs = ref false (* -keep-locs *) | |
let unsafe_string = ref true;; (* -safe-string / -unsafe-string *) | |
-let easy = ref false (* -easytype *) | |
+let easy = ref true (* -easytype *) |
diff --git a/.depend b/.depend | |
index 9b6b9ff..c845f3e 100644 | |
--- a/.depend | |
+++ b/.depend | |
@@ -86,7 +86,7 @@ parsing/printast.cmx : parsing/parsetree.cmi utils/misc.cmx \ | |
parsing/syntaxerr.cmo : parsing/location.cmi parsing/syntaxerr.cmi | |
parsing/syntaxerr.cmx : parsing/location.cmx parsing/syntaxerr.cmi | |
typing/annot.cmi : parsing/location.cmi | |
-typing/btype.cmi : typing/types.cmi typing/path.cmi parsing/asttypes.cmi | |
+typing/btype.cmi : typing/types.cmi typing/path.cmi parsing/asttypes.cmi typing/typedtree.cmi |