search for: caml

...igure.ac index db44d4a..384a94a 100644 --- a/stubdom/configure.ac +++ b/stubdom/configure.ac @@ -18,7 +18,7 @@ m4_include([../m4/depends.m4]) # Enable/disable stub domains AX_STUBDOM_DEFAULT_ENABLE([ioemu-stubdom], [ioemu]) AX_STUBDOM_DEFAULT_DISABLE([c-stubdom], [c]) -AX_STUBDOM_DEFAULT_ENABLE([caml-stubdom], [caml]) +AX_STUBDOM_DEFAULT_DISABLE([caml-stubdom], [caml]) AX_STUBDOM_DEFAULT_ENABLE([pv-grub], [grub]) AX_STUBDOM_DEFAULT_ENABLE([xenstore-stubdom], [xenstore]) AX_STUBDOM_CONDITIONAL([vtpm-stubdom], [vtpm]) -- 1.7.10.4

Since OCaml 4 the old and confusing caml_enter_blocking_section and caml_leave_blocking_section calls have been replaced with caml_release_runtime_system and caml_acquire_runtime_system (in that order). Use the new names. --- generator/OCaml.ml | 5 +++-- ocaml/guestfs-c.c | 5 +++-- 2 files changed, 6 inse...

No action required here as I have pushed this already, this is just for your information. Rich.

...d the R package multcompView in agreement with the author Hans-Peter Piepho. The function multcompLetters implements so far a heuristic. We would like to add a function that implements an exact algorithm and returns a provable optimum result. This algorithm has been implemented in Objective Caml and we would like to reuse this code. We wrote an R function that accepts the same input as the original function and provides the same result format. But this function calls the Obejctive Caml executable. This means that if the package is extended with this function the Objective Caml code...

Hi everyone,                    I am new in this field. I am trying to install LLVM in my 32-bit Windows XP. Can anyone please give a to do list for installing LLVM in my machine. When trying to build LLVM, I get the following error:    llvm[3]: Compiling llvm_ocaml.c for Debug build In file included from D:\Program Files\Objective Caml\lib/caml/misc.h:24,                  from D:\Program Files\Objective Caml\lib/caml/alloc.h:23,                  from llvm_ocaml.c:19: D:\Program Files\Objective Caml\lib/caml/config.h:140: error: expected `=', `  `;', `...

How about using the existing OpenSSH client's PKCS#11 support to isolate keying material in a dedicated process? A similar approach, "Practical key privilege separation using Caml Crush", was discussed at FOSDEM'15 with a focus on Heatbleed [1][2] but the ideas and principles are the same. Now this is easily done using the following available components: - SoftHSM to store the crypto keys - Caml-Crush server components load the SoftHSM middleware (access the ke...

...e/crypt-c.c index d5425cfaa..e358018cd 100644 --- a/customize/crypt-c.c +++ b/customize/crypt-c.c @@ -21,6 +21,7 @@ #include <stdio.h> #include <stdlib.h> #include <unistd.h> +#include <errno.h> #if HAVE_CRYPT_H #include <crypt.h> @@ -29,6 +30,7 @@ #include <caml/alloc.h> #include <caml/memory.h> #include <caml/mlvalues.h> +#include <caml/unixsupport.h> #pragma GCC diagnostic ignored "-Wmissing-prototypes" @@ -44,6 +46,8 @@ virt_customize_crypt (value keyv, value saltv) * is not thread safe. */ r = crypt (Str...

...- 1 file changed, 24 insertions(+), 10 deletions(-) diff --git a/mllib/getopt-c.c b/mllib/getopt-c.c index 1f129a7..2d3f9b6 100644 --- a/mllib/getopt-c.c +++ b/mllib/getopt-c.c @@ -30,6 +30,8 @@ #include <error.h> #include <assert.h> +#include "xstrtol.h" + #include <caml/alloc.h> #include <caml/fail.h> #include <caml/memory.h> @@ -117,6 +119,26 @@ do_call1 (value funv, value paramv) CAMLreturn0; } +static int +strtoint (const char *arg) +{ + long int num; + + if (xstrtol (arg, NULL, 0, &num, NULL) != LONGINT_OK) { + fprintf (stderr,...

...ml | 10 ++++++++-- > 2 files changed, 14 insertions(+), 14 deletions(-) > > diff --git a/customize/perl_edit-c.c b/customize/perl_edit-c.c > index 753d990..7191bef 100644 > --- a/customize/perl_edit-c.c > +++ b/customize/perl_edit-c.c > @@ -25,30 +25,24 @@ > #include <caml/alloc.h> > #include <caml/memory.h> > #include <caml/mlvalues.h> > +#include <caml/fail.h> > > #include "file-edit.h" > > -/** > - * We try to reuse the internals of the OCaml binding (for extracting > - * the guestfs handle, and rais...

In v1 of this patch, there was the (small) possibility that 'g' might have been garbage collected while we were in the C function. Avoid this by passing 'g' to the function as well as the C pointer, so that 'g' is pinned as a garbage collector root [by CAMLparam5] so it cannot be collected while we're in the function. Rich.

Hi, Everyone, I got a error when I try to compile LLVM 2.7, it is located in the ocaml bindings file, showing like: llvm[2]: Compiling llvm_ocaml.c for Release+Asserts build In file included from C:\Objective Caml\lib/caml/misc.h:24, from C:\Objective Caml\lib/caml/alloc.h:23, from /home/leila/llvm/bindings/ocaml/llvm/llvm_ocaml.c:19: In file incl...

On Friday, 14 July 2017 15:39:09 CEST Richard W.M. Jones wrote: > +dnl Check for <caml/unixsupport.h> header. > +old_CPPFLAGS="$CPPFLAGS" > +CPPFLAGS="$CPPFLAGS -I`$OCAMLC -where`" > +AC_CHECK_HEADERS([caml/unixsupport.h],[],[],[#include <caml/mlvalues.h>]) > +CPPFLAGS="$old_CPPFLAGS" The minimum version of OCaml is 3.11, and it see...

This change allows parts of the daemon to be written in the OCaml programming language. I am using the ‘Main Program in C’ method along with ‘-output-obj’ to create an object file from the OCaml code / runtime, as described here: https://caml.inria.fr/pub/docs/manual-ocaml/intfc.html Furthermore, change the generator to allow individual APIs to be implemented i...

...uot;$(GNU_TARGET_ARCH)-xen-elf-gcc $(TARGET_CFLAGS) $(NEWLIB_CFLAGS)" ../newlib-cvs/configure --prefix=$(CROSS_PREFIX) --verbose --target=$(GNU_TARGET_ARCH)-xen-elf --enable-newlib-io-long-long && \ $(MAKE) && \ $(MAKE) install ) @@ -199,7 +201,7 @@ ###### .PHONY: caml -caml: mk-symlinks +caml: cross-newlib mk-symlinks $(MAKE) -C $@ LWIPDIR=$(CURDIR)/lwip-cvs ### ### .PHONY: c -c: mk-symlinks +c: cross-newlib mk-symlinks $(MAKE) -C $@ LWIPDIR=$(CURDIR)/lwip-cvs @@ -243,6 +241,9 @@ .PHONY: clean clean: -$(MAKE) -C mini-os LWIPDIR=$(CURDIR)/lwip-...

Hi, you might want to have a look at micmatch. It has a feature called views: http://martin.jambon.free.fr/micmatch-manual.html#htoc10 Unfortunately it does not work with OCaml 3.10, yet HTH

On Monday 26 November 2007 19:30, Gordon Henriksen wrote: > It might be exciting to have an Ocaml with "exec" (surely it would > allow new classes of programs), but static compilation seems clearly > superior for existing programs, so my focus is there for now. There are various different approaches to this, of course, but having tried the Lisp and MetaOCaml approaches I think...

...t; } catch (...) { > print x; > } > > Because the 'throw' doesn't restore the callee-save registers as the > stack is unwound, the compiler can't put X in a register across the x+ > + and use of x in the try block. Actually, this is difficult to reproduce in Ocaml codes because Ocaml code is in a restricted SSA form: (1) Mutable variables exist only in the heap: let x = 43 ref is literally shorthand for let x = { mutable contents = 43 }, which allocates a single-cell object on the heap. Arrays and strings (also imperative) are also restricted to the...

Dear All, Is it possible to write a llvm pass in OCaml? Is there any API such as runOnModule() in ModulePass, runOnFunction() in FunctionPass in OCaml? I have looked through the tutorial, http://llvm.org/docs/tutorial/OCamlLangImpl1.html, it looks like just a tutorial about "Implementing a language with LLVM" in Objective Caml. Thank yo...

On Nov 28, 2007, at 10:16 PM, Gordon Henriksen wrote: >> It only works if values are not held in registers across throws >> though, which is kinda lame ... > > > Though I'm primarily interested in this model only from an > interoperability perspective, reloading the register file for a throw > seems a comparatively small price to pay compared to, say, >

...Daniel Berlin pointed out on IRC, the language model is trivial. It has > just three exception-handling primitives: > raise expr > try expr with matching > exception id ( tuple-type-expr )? ok. > The codegen for raise is simple. It just reads a saved return address from > the caml_exception_pointer global and returns through several stack frames in > one go. The expression raise expr is compiled as such: > > ; Store the exception value in the return register. > $r1 = ... > > ; Change the stack pointer. > load $sp <- 0(caml_exception_pointer) > &gt...