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.

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

depends subfolder doesn't compile subprojects correctly #3411

Open
andrevidela opened this issue Nov 11, 2024 · 0 comments
Open

depends subfolder doesn't compile subprojects correctly #3411

andrevidela opened this issue Nov 11, 2024 · 0 comments

Comments

@andrevidela
Copy link
Collaborator

andrevidela commented Nov 11, 2024

Steps to Reproduce

setup a project like this:

├── depends
│   └── dep-0
│       ├── dep.ipkg
│       └── src
│           └── Dep.idr
├── main.ipkg
└── src
    └── Main.idr

With main.ipkg containing:

package main
depends = dep 

sourcedir = "src"

and dep.ipkg containing:

package dep
version = 0

modules = Dep

sourcedir = "src"

Main.idr:

module Main
import Dep

main : IO ()
main = putStrLn str

Dep.idr:

module Dep
str : String
str = "hello"

Expected Behavior

Compiling main with idris2 --build main.ipkg should work.

Observed Behavior

Uncaught error: "Depends/depends/dep-0/dep.ipkg":4:11--6:1:Dep not found

If the dependency is instead installed globally with --install and the depends folder removed, the project works just fine

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant