aboutsummaryrefslogtreecommitdiff
path: root/bindings/ocaml
AgeCommit message (Collapse)Author
2007-12-03Track dependencies when creating symlinks to LLVM libraries nextGordon Henriksen
to the ocaml bindings. This is required on Windows where 'ln -sf' actually creates a copy. Thanks to Alain Frisch for noticing this. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44547 91177308-0d34-0410-b5e6-96231b3b80d8
2007-12-01Adding ocamldoc-style comments for the Ocaml bindings.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44494 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-12Fix ocaml bindings for picky linkers. :)Gordon Henriksen
Thanks to Török Edvin for helping to track this down. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42927 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-08C and Objective Caml bindings for PHINode::addIncoming etc.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42760 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-08Fixed downrev Ocaml compatibility.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42744 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-08C and Objective Caml bindings for getFunction and getNamedGlobal. Also enhancedGordon Henriksen
the Objective Caml 'declare_*' functions to behave more or less like getOrInsertFunction. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42740 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-07C and Objective Caml bindings for GlobalVariable::isConstant.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42736 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-07C and Objective Caml bindings for PATypeHolder.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42713 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-06Bindings for the verifier.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42707 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-06Deleting some unnecessary glue.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42702 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-06Adopting a uniform naming convention for type constructors inGordon Henriksen
bindings (part le deux). git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42701 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-06Adopting a uniform naming convention for type constructors in bindings.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42698 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-06Adopting a uniform naming convention for constant constructors in bindings.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42697 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-06Adding C and Ocaml bindings for ConstantExpr.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42696 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-06Wrapping Value::dump.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42668 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-04Do use the actual ocaml stdlib (not the install dir) to find theGordon Henriksen
caml/*.h headers. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42599 91177308-0d34-0410-b5e6-96231b3b80d8
2007-10-02Providing --with-ocaml-libdir for ./configure. The default is theGordon Henriksen
stdlib if it's beneath --prefix, and is libdir/ocaml otherwise. If someone has a better way than this to test whether $B is a path within $A, I'd love to hear it: if test "$A" \< "$B" -a "$B" \< "${A}~" git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42532 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-27Remove debugging.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42385 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-26Added C and Ocaml bindings for functions, basic blocks, and Gordon Henriksen
instruction creation. No support yet for instruction introspection. Also eliminated allocas from the Ocaml bindings for portability, and avoided unnecessary casts. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42367 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-23Fix srcdir <> objdir builds with ocaml 2.10. Downrev versions don't care whetherGordon Henriksen
'dir' exists in 'ocamldep -I dir ...', but recent ones demand that it actually exists. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42245 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-20Incorporating review feedback for GC verifier patch.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42163 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-20use typenames equivalent toGabor Greif
(u)intval, because latter are not present in older caml/mlvalues.h (e.g. 2004/07/07, 1.48.6.1) Using this as a workaround for now, until --without-ocaml works or we settle on a better solution git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42160 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-19include alloca.h if available. this helps Solaris, but intnat and uintnat ↵Gabor Greif
types are still undefined, causing errors git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42129 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18Tests of the ocaml (and thus C) bindings for constants.Gordon Henriksen
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42101 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18Adding ocaml language bindings for the vmcore and bitwriter libraries. These areGordon Henriksen
built atop the C language bindings, and user programs can link with them as such: # Bytecode ocamlc -cc g++ llvm.cma llvmbitwriter.cma -o example example.ml # Native ocamlopt -cc g++ llvm.cmxa llvmbitwriter.cmxa -o example.opt example.ml The vmcore.ml test exercises most/all of the APIs thus far bound. Unfortunately, they're not yet numerous enough to write hello world. But: $ cat example.ml (* example.ml *) open Llvm open Llvm_bitwriter let _ = let filename = Sys.argv.(1) in let m = create_module filename in let v = make_int_constant i32_type 42 false in let g = define_global "hello_world" v m in if not (write_bitcode_file m filename) then exit 1; dispose_module m; $ ocamlc -cc g++ llvm.cma llvm_bitwriter.cma -o example example.ml File "example.ml", line 11, characters 6-7: Warning Y: unused variable g. $ ./example example.bc $ llvm-dis < example.bc ; ModuleID = '<stdin>' @hello_world = global i32 42 ; <i32*> [#uses=0] The ocaml test cases provide effective tests for the C interfaces. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42093 91177308-0d34-0410-b5e6-96231b3b80d8
2007-09-18git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@42090 ↵Gordon Henriksen
91177308-0d34-0410-b5e6-96231b3b80d8