1. akrauss
  2. hol-light-workbench
  3. Pull requests

Pull requests

#1 Open
Repository
MarkoSchuetz
Branch
default
Repository
akrauss
Branch
default

modify checked out hol-light Makefile so it finds camlp4/5 library files.

Bitbucket cannot automatically merge this request.

The commits that make up this pull request have been removed.

Bitbucket cannot automatically merge this request due to conflicts.

Review the conflicts on the Overview tab. You can then either decline the request or merge it manually on your local system using the following commands:

hg update 
hg pull -r default https://bitbucket.org/MarkoSchuetz/hol-light-workbench
Author
  1. MarkoSchuetz
Reviewers
Description

The camlp4r/camlp5r commands from the hol-light Makefile would pick up pa_lexer.cmo and similar files from a system wide installation of camlp4/5. With this change the Makefile uses the library files from camlp4/5 just previously installed by the setup script.

Comments (0)