K-user mailing list

["Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>]

Hi Mark,

> sudo chown -R hossein /home/hossein/.cabal

This makes things quite better. Apparently, some parts of the
installation were done. Yet, I get a similar error message: (Please
see the P.S. for a more complete dump of this trial, in case that
helps.)

<snip>
Registering parsec-3.1.2...
Installing library in /home/hossein/.cabal/lib/parsec-3.1.2/ghc-7.0.3
Registering parsec-3.1.2...
Configuring language-k-0.2.0...
cabal: dist: permission denied
cabal: Error: some packages failed to install:
language-k-0.2.0 failed during the configure step. The exception was:
ExitFailure 1
make[2]: *** [try-install] Error 1
make[2]: Leaving directory `/home/hossein/Sources/k-framework/tools/krun'
-e \e[91mNOTE: Please type `make clean` followed by `cabal update` and
try again before reporting any errors.\e[0m
make[1]: *** [install] Error 1

Receiving similar access denial error messages, I updates a number of
other permissions similarly and I still get access denial to places I
can't figure out:

hossein@ubuntu:~/Sources/k-framework$
 make -C $K_BASE
make: Entering directory `/home/hossein/Sources/k-framework'
make[1]: Entering directory `/home/hossein/Sources/k-framework/core/java'
make[1]: `all' is up to date.
make[1]: Leaving directory `/home/hossein/Sources/k-framework/core/java'
make[1]: Entering directory `/home/hossein/Sources/k-framework/tools/krun'
make[2]: Entering directory `/home/hossein/Sources/k-framework/tools/krun'
Resolving dependencies...
Configuring language-k-0.2.0...
cabal: dist: permission denied
cabal: Error: some packages failed to install:
language-k-0.2.0 failed during the configure step. The exception was:
ExitFailure 1
make[2]: *** [try-install] Error 1
make[2]: Leaving directory `/home/hossein/Sources/k-framework/tools/krun'
-e \e[91mNOTE: Please type `make clean` followed by `cabal update` and
try again before reporting any errors.\e[0m
make[1]: *** [install] Error 1
make[1]: Leaving directory `/home/hossein/Sources/k-framework/tools/krun'
make: *** [all] Error 2
make: Leaving directory `/home/hossein/Sources/k-framework'

Thanks,
--Hossein

P.S.
Registering text-0.11.1.13...
Installing library in /home/hossein/.cabal/lib/text-0.11.1.13/ghc-7.0.3
Registering text-0.11.1.13...
Downloading attoparsec-text-0.8.5.3...
Configuring attoparsec-text-0.8.5.3...
Preprocessing library attoparsec-text-0.8.5.3...
Building attoparsec-text-0.8.5.3...
[1 of 4] Compiling Data.Attoparsec.Text.FastSet (
Data/Attoparsec/Text/FastSet.hs,
dist/build/Data/Attoparsec/Text/FastSet.o )
[2 of 4] Compiling Data.Attoparsec.Text.Internal (
Data/Attoparsec/Text/Internal.hs,
dist/build/Data/Attoparsec/Text/Internal.o )

Data/Attoparsec/Text/Internal.hs:80:1:
    Warning: Module `Data.Attoparsec.Text.FastSet' is deprecated:
               Use version 0.10 or newer of the attoparsec package instead

Data/Attoparsec/Text/Internal.hs:80:38:
    Warning: In the use of `charClass'
             (imported from Data.Attoparsec.Text.FastSet):
             Deprecated: "Use version 0.10 or newer of the attoparsec
package instead"

Data/Attoparsec/Text/Internal.hs:80:49:
    Warning: In the use of `member'
             (imported from Data.Attoparsec.Text.FastSet):
             Deprecated: "Use version 0.10 or newer of the attoparsec
package instead"
[3 of 4] Compiling Data.Attoparsec.Text ( Data/Attoparsec/Text.hs,
dist/build/Data/Attoparsec/Text.o )
[4 of 4] Compiling Data.Attoparsec.Text.Lazy (
Data/Attoparsec/Text/Lazy.hs, dist/build/Data/Attoparsec/Text/Lazy.o )

Data/Attoparsec/Text/Lazy.hs:39:1:
    Warning: Module `Data.Attoparsec.Text' is deprecated:
               Use version 0.10 or newer of the attoparsec package instead

Data/Attoparsec/Text/Lazy.hs:40:1:
    Warning: Module `Data.Attoparsec.Text' is deprecated:
               Use version 0.10 or newer of the attoparsec package instead
Registering attoparsec-text-0.8.5.3...
Installing library in
/home/hossein/.cabal/lib/attoparsec-text-0.8.5.3/ghc-7.0.3
Registering attoparsec-text-0.8.5.3...
Downloading transformers-0.2.2.0...
Configuring transformers-0.2.2.0...
Preprocessing library transformers-0.2.2.0...
Building transformers-0.2.2.0...
[ 1 of 21] Compiling Data.Functor.Product ( Data/Functor/Product.hs,
dist/build/Data/Functor/Product.o )
[ 2 of 21] Compiling Data.Functor.Constant ( Data/Functor/Constant.hs,
dist/build/Data/Functor/Constant.o )
[ 3 of 21] Compiling Data.Functor.Compose ( Data/Functor/Compose.hs,
dist/build/Data/Functor/Compose.o )
[ 4 of 21] Compiling Data.Functor.Identity ( Data/Functor/Identity.hs,
dist/build/Data/Functor/Identity.o )
[ 5 of 21] Compiling Control.Monad.Trans.Class (
Control/Monad/Trans/Class.hs, dist/build/Control/Monad/Trans/Class.o )
[ 6 of 21] Compiling Control.Monad.IO.Class (
Control/Monad/IO/Class.hs, dist/build/Control/Monad/IO/Class.o )
[ 7 of 21] Compiling Control.Monad.Trans.Cont (
Control/Monad/Trans/Cont.hs, dist/build/Control/Monad/Trans/Cont.o )
[ 8 of 21] Compiling Control.Monad.Trans.Error (
Control/Monad/Trans/Error.hs, dist/build/Control/Monad/Trans/Error.o )
[ 9 of 21] Compiling Control.Monad.Trans.Identity (
Control/Monad/Trans/Identity.hs,
dist/build/Control/Monad/Trans/Identity.o )
[10 of 21] Compiling Control.Monad.Trans.List (
Control/Monad/Trans/List.hs, dist/build/Control/Monad/Trans/List.o )
[11 of 21] Compiling Control.Monad.Trans.Maybe (
Control/Monad/Trans/Maybe.hs, dist/build/Control/Monad/Trans/Maybe.o )
[12 of 21] Compiling Control.Monad.Trans.Reader (
Control/Monad/Trans/Reader.hs, dist/build/Control/Monad/Trans/Reader.o
)
[13 of 21] Compiling Control.Monad.Trans.RWS.Lazy (
Control/Monad/Trans/RWS/Lazy.hs,
dist/build/Control/Monad/Trans/RWS/Lazy.o )
[14 of 21] Compiling Control.Monad.Trans.RWS (
Control/Monad/Trans/RWS.hs, dist/build/Control/Monad/Trans/RWS.o )
[15 of 21] Compiling Control.Monad.Trans.RWS.Strict (
Control/Monad/Trans/RWS/Strict.hs,
dist/build/Control/Monad/Trans/RWS/Strict.o )
[16 of 21] Compiling Control.Monad.Trans.State.Lazy (
Control/Monad/Trans/State/Lazy.hs,
dist/build/Control/Monad/Trans/State/Lazy.o )
[17 of 21] Compiling Control.Monad.Trans.State (
Control/Monad/Trans/State.hs, dist/build/Control/Monad/Trans/State.o )
[18 of 21] Compiling Control.Monad.Trans.State.Strict (
Control/Monad/Trans/State/Strict.hs,
dist/build/Control/Monad/Trans/State/Strict.o )
[19 of 21] Compiling Control.Monad.Trans.Writer.Lazy (
Control/Monad/Trans/Writer/Lazy.hs,
dist/build/Control/Monad/Trans/Writer/Lazy.o )
[20 of 21] Compiling Control.Monad.Trans.Writer (
Control/Monad/Trans/Writer.hs, dist/build/Control/Monad/Trans/Writer.o
)
[21 of 21] Compiling Control.Monad.Trans.Writer.Strict (
Control/Monad/Trans/Writer/Strict.hs,
dist/build/Control/Monad/Trans/Writer/Strict.o )
Registering transformers-0.2.2.0...
Installing library in /home/hossein/.cabal/lib/transformers-0.2.2.0/ghc-7.0.3
Registering transformers-0.2.2.0...
Downloading mtl-2.0.1.0...
Configuring mtl-2.0.1.0...
Preprocessing library mtl-2.0.1.0...
Building mtl-2.0.1.0...
[ 1 of 21] Compiling Control.Monad.Writer.Class (
Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o
)
[ 2 of 21] Compiling Control.Monad.State.Class (
Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 21] Compiling Control.Monad.Reader.Class (
Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o
)
[ 4 of 21] Compiling Control.Monad.RWS.Class (
Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 21] Compiling Control.Monad.Identity (
Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 21] Compiling Control.Monad.Error.Class (
Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 21] Compiling Control.Monad.Cont.Class (
Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs,
dist/build/Control/Monad/Trans.o )
[ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs,
dist/build/Control/Monad/Error.o )
[10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs,
dist/build/Control/Monad/List.o )
[11 of 21] Compiling Control.Monad.RWS.Lazy (
Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs,
dist/build/Control/Monad/RWS.o )
[13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs,
dist/build/Control/Monad/Reader.o )
[14 of 21] Compiling Control.Monad.RWS.Strict (
Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[15 of 21] Compiling Control.Monad.State.Lazy (
Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs,
dist/build/Control/Monad/State.o )
[17 of 21] Compiling Control.Monad.State.Strict (
Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o
)
[18 of 21] Compiling Control.Monad.Writer.Lazy (
Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs,
dist/build/Control/Monad/Writer.o )
[20 of 21] Compiling Control.Monad.Writer.Strict (
Control/Monad/Writer/Strict.hs,
dist/build/Control/Monad/Writer/Strict.o )
[21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs,
dist/build/Control/Monad/Cont.o )
Registering mtl-2.0.1.0...
Installing library in /home/hossein/.cabal/lib/mtl-2.0.1.0/ghc-7.0.3
Registering mtl-2.0.1.0...
Downloading parsec-3.1.2...
Configuring parsec-3.1.2...
Preprocessing library parsec-3.1.2...
Building parsec-3.1.2...
[ 1 of 25] Compiling Text.Parsec.Pos  ( Text/Parsec/Pos.hs,
dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs,
dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error (
Text/ParserCombinators/Parsec/Error.hs,
dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.ParserCombinators.Parsec.Pos (
Text/ParserCombinators/Parsec/Pos.hs,
dist/build/Text/ParserCombinators/Parsec/Pos.o )
[ 5 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs,
dist/build/Text/Parsec/Prim.o )
[ 6 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs,
dist/build/Text/Parsec/Char.o )
[ 7 of 25] Compiling Text.Parsec.Combinator (
Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 8 of 25] Compiling Text.ParserCombinators.Parsec.Combinator (
Text/ParserCombinators/Parsec/Combinator.hs,
dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 9 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs,
dist/build/Text/Parsec/String.o )
[10 of 25] Compiling Text.ParserCombinators.Parsec.Char (
Text/ParserCombinators/Parsec/Char.hs,
dist/build/Text/ParserCombinators/Parsec/Char.o )
[11 of 25] Compiling Text.Parsec.ByteString (
Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[12 of 25] Compiling Text.Parsec.ByteString.Lazy (
Text/Parsec/ByteString/Lazy.hs,
dist/build/Text/Parsec/ByteString/Lazy.o )
[13 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs,
dist/build/Text/Parsec/Text.o )
[14 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs,
dist/build/Text/Parsec/Text/Lazy.o )
[15 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs,
dist/build/Text/Parsec/Token.o )
[16 of 25] Compiling Text.ParserCombinators.Parsec.Token (
Text/ParserCombinators/Parsec/Token.hs,
dist/build/Text/ParserCombinators/Parsec/Token.o )
[17 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs,
dist/build/Text/Parsec/Expr.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Prim (
Text/ParserCombinators/Parsec/Prim.hs,
dist/build/Text/ParserCombinators/Parsec/Prim.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec (
Text/ParserCombinators/Parsec.hs,
dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr (
Text/ParserCombinators/Parsec/Expr.hs,
dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec      ( Text/Parsec.hs,
dist/build/Text/Parsec.o )

Text/Parsec.hs:16:7:
    Warning: `lookAhead' is exported by `module
Text.Parsec.Combinator' and `module Text.Parsec.Prim'
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs,
dist/build/Text/Parsec/Language.o )
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language (
Text/ParserCombinators/Parsec/Language.hs,
dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs,
dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm (
Text/ParserCombinators/Parsec/Perm.hs,
dist/build/Text/ParserCombinators/Parsec/Perm.o )
Registering parsec-3.1.2...
Installing library in /home/hossein/.cabal/lib/parsec-3.1.2/ghc-7.0.3
Registering parsec-3.1.2...
Configuring language-k-0.2.0...
cabal: dist: permission denied
cabal: Error: some packages failed to install:
language-k-0.2.0 failed during the configure step. The exception was:
ExitFailure 1
make[2]: *** [try-install] Error 1
make[2]: Leaving directory `/home/hossein/Sources/k-framework/tools/krun'
-e \e[91mNOTE: Please type `make clean` followed by `cabal update` and
try again before reporting any errors.\e[0m
make[1]: *** [install] Error 1
make[1]: Leaving directory `/home/hossein/Sources/k-framework/tools/krun'
make: *** [all] Error 2
make: Leaving directory `/home/hossein/Sources/k-framework'


--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------