Skip to content

Improve compilation instructions in README #57

Open
Open
Improve compilation instructions in README#57

Description

@benediktahrens
benediktahrens
opened on Mar 11, 2017

explain that

  • location of Coq binaries needs to be given manually (by PATH or locally)
  • UniMath files are found automatically after make install if using the right Coq binaries

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions