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: Fixes dependent source discovery #1508

Draft
wants to merge 3 commits into
base: main
Choose a base branch
from
Draft

fix: Fixes dependent source discovery #1508

wants to merge 3 commits into from

Commits on Nov 21, 2022

  1. fix: Fixes dependent source discovery 

    Parent directories for sources are now added to the compiler's source
path so any types referenced in them that are available in the same
directories can be found even when they are not explicitely mentioned
in any `//SOURCES` lines. This also fixes the problem where adding a
`//DEPS` line would cause the compiler to be unable to find those same
types.

Fixes jbangdev#1502
    @quintesse
    quintesse committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    0ec418b View commit details
    Browse the repository at this point in the history

  2. this is a test commit and should be removed before merging!

    @quintesse
    quintesse committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    d555483 View commit details
    Browse the repository at this point in the history

  3. merge this later

    @quintesse
    quintesse committed Nov 21, 2022
    Configuration menu
    Copy the full SHA
    2c05561 View commit details
    Browse the repository at this point in the history