Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix parallel build. #93

Merged
merged 1 commit into from
Jan 3, 2021
Merged

Fix parallel build. #93

merged 1 commit into from
Jan 3, 2021

Commits on Nov 12, 2020

  1. Fix parallel build. 

    When running "make -j", the build fails because there are no rules to
build .cmti files. (They are byproducts of .cmi files.)

It also fails because it invokes ocamlmklib twice for generating both
zarith.cmxa and zarith.a, thus corrupting files.

Thus, instead of depending on the whole content of TOINSTALL, the "all"
rule now depends only on a subset large enough to trigger all the rules.

The downside is that one can no longer type "make zarith.a". Instead, one
has to type "make zarith.cmxa" (or just "make").
    @silene
    silene committed Nov 12, 2020
    Configuration menu
    Copy the full SHA
    f000530 View commit details
    Browse the repository at this point in the history