Re: bug in cabal from Debian ?

[picca <picca@debian.org>]

Le 2024-06-01 00:12, Mikolaj Konarski a écrit :
> Hi Fred,
>
> >   cabal build pkgname
> >     Build the package named pkgname in the project
> >   cabal build ./pkgfoo
> >     Build the package in the ./pkgfoo directory
> >   cabal build cname
> >     Build the component named cname in the project
>
> I think in all these cases the package should be defined
> in the project file (a single-line project file is enough).
> Maybe it should say "Build the package mentioned
> in the project and located in the ./pkgfoo directory"?

ok, I added a cabal.project with this

packages: hkl.cabal

it works.

Now I have another issue.

the build hang with cabal-install trying to connect to internet...

I found that, I should add

active-repositories: none

But it seems that this does not solve this issue...

I also put --offline on the command line.

an idea ?


thanks


Fred