>From what I see, `--offline` is only fixed in cabal 3.10: https://github.com/haskell/cabal/pull/8676
For older cabals, you are probably only left with the Setup interface (which is what Debian normally uses IIRC). On Sat, Jun 1, 2024 at 9:34 AM picca <pi...@debian.org> wrote: > > 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 >
