GithubHelp home page GithubHelp logo

zorkow / maxtract Goto Github PK

View Code? Open in Web Editor NEW
13.0 13.0 8.0 3.9 MB

Old implementation of the MaxTract system for re-engineering mathematical PDF documents.

Makefile 10.33% C 4.89% Python 0.43% OCaml 84.09% Shell 0.26%

maxtract's People

Contributors

zorkow avatar

Stargazers

avatar avatar avatar avatar avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar avatar

Forkers

physikerwelt davidar xaviermary project-renard-survey akashdeepbansal assistech-iitdelhi sticker592

maxtract's Issues

recipe for target 'jsonfio.cmo' failed

I installed json-wheel:-

$ opam install json-wheel
[NOTE] Package json-wheel is already installed (current version is 1.0.6).

But ocamlc won't see it:-

$ make all
make clean_byte 
make[1]: Entering directory '/home/hgarg/MaxTract/src/linearize'
rm -f ./*.cm[ioxa]
rm -f ./*.cmxa
rm -f ./*.[ao]
rm -f 
rm -f 
rm -f 
rm -f linearizer
make[1]: Leaving directory '/home/hgarg/MaxTract/src/linearize'
make all_targets
make[1]: Entering directory '/home/hgarg/MaxTract/src/linearize'
export OCAMLPATH=/lib; ocamlfind ocamlc -package json-wheel,unix,str -I ./ -I /lib  -c jsonfio.ml
ocamlfind: Package `json-wheel' not found
Makefile:155: recipe for target 'jsonfio.cmo' failed
make[1]: *** [jsonfio.cmo] Error 2
make[1]: Leaving directory '/home/hgarg/MaxTract/src/linearize'
Makefile:209: recipe for target 'all' failed
make: *** [all] Error 2

Installing mikmatch_pcre

There is a dependency to mikmatch_pcre in
https://github.com/zorkow/MaxTract/blob/master/src/pdfExtract/Makefile#L58

Inspired by opam (the ocaml package installer suggested by @apsexton) I tried the following to install the dependency opam install pcre mikmatch. Results in a strange error message

# ocamlc -c mikmatch.mli
# ocamlc -a -o run_mikmatch_pcre.cma -I /home/physikerwelt/.opam/4.02.3/lib/pcre \
#               mikmatch.ml run_mikmatch_pcre.ml
# make[1]: Leaving directory `/home/physikerwelt/.opam/4.02.3/build/mikmatch.1.0.8/pcre'

(I'll continue looking into this, but I wanted to keep track of the issue in the public).

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.