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

Relocatable ocamlfind #72

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Relocatable ocamlfind #72

wants to merge 3 commits into from

Commits on Apr 23, 2024

  1. Add compile-time option for relocatable ocamlfind

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    c3b32d1 View commit details
    Browse the repository at this point in the history

  2. Do not add path to search if $PREFIX substitution fails

    @Leonidas-from-XIV
    Leonidas-from-XIV committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    8d2a5f2 View commit details
    Browse the repository at this point in the history

  3. Calculate findlib location in topfind 

    This unifies both templates to use only one single topfind template so
every change happens in both "older" and "newer" topfind files
    @Leonidas-from-XIV
    Leonidas-from-XIV committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    c4be238 View commit details
    Browse the repository at this point in the history