ykazakov / cb-reasoner Goto Github PK
View Code? Open in Web Editor NEWAutomatically exported from code.google.com/p/cb-reasoner
License: Other
Automatically exported from code.google.com/p/cb-reasoner
License: Other
Hi,
I'd like to use CB as a reasoner within Protege.
When trying to make all in the src I got an error about missing jni_md.h. Which I fixed by setting the env var:
export JNI_INCLUDE="/usr/lib/jvm/java-8-oracle/include/linux;/usr/lib/jvm/java-8-oracle/include"
But now I receive the following error:
make all
ocamlbuild -build-dir _build main/cb.native jni cwrap/libcb.a
Finished, 1 target (0 cached) in 00:00:00.
Building for host: linux, target: linux, arch: amd64
As I do not necessarily require a binary -in principle I would only need a working jar I can copy into my plugin folder... How can I generate that?
Any help would be greatly appreciated.
Thanks,
Daniel
Found this while investigating the cause of a parse error that turned out to be
unrelated (caused by an incorrectly generated input file). Verified with
http://www.w3.org/TR/owl2-syntax/#Keys
Original issue reported on code.google.com by [email protected]
on 18 Oct 2011 at 3:41
Attachments:
i am trying to compile the project however upon running make, it is giving the following error.
descending to src
make[1]: Entering directory '/home/shah/Desktop/reasoners/cb-reasoner-master/src'
ocamlbuild -build-dir _build main/cb.native
+ ocamlopt.opt unix.cmxa -I /home/shah/.opam/default/lib/ocamlbuild /home/shah/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /home/shah/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
File "myocamlbuild.ml", line 13, characters 11-64:
Error: Unbound module Ocamlbuild_pack.Ocamlbuild_Myocamlbuild_config
Command exited with code 2.
Compilation unsuccessful after building 1 target (0 cached) in 00:00:00.
Makefile:8: recipe for target 'main' failed
make[1]: *** [main] Error 10
make[1]: Leaving directory '/home/shah/Desktop/reasoners/cb-reasoner-master/src'
Makefile:14: recipe for target 'src' failed
make: *** [src] Error 2
It has problem when it runs myocamlbuild.ml file.. i guess there is some compability issues with the newer ocambuild.
Here is the comments i got from ocamlbuild github
OCamlbuild exports a stable interface for plugin users as the Ocamlbuild_plugin module. Using Ocamlbuild_pack directly accesses ocamlbuild's internal definitions, and is recommended against as there are no guarantees of backward-compatibility.
In your specific case, a module is used by this code that indeed was removed in more recent ocamlbuild versions (its presence was an artifact of the specific way ocamlbuild's build system was integrated into the compiler distribution). I could correctly build this software with OCaml 3.12.1, 4.00.1 and 4.01.0, but not any more recent version of OCaml and ocamlbuild.
Using opam makes it easy to install old OCaml versions:
opam install 4.01.0
eval $(opam env --switch=4.01.0)
make # if in the project's directoyr
If you are interested in patching this software to make it compatible with more recent OCaml versions, we could discuss how to get the corresponding information in a more robust way.
In any case, I'm closing this as it is not a problem of ocamlbuild, but rather a maintenance question for cb-reasoner. (Of course, feel free to post further comments.)
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.