haskell - Specify custom temporary directory for ghc compiler -

-

i using ghc on web server running ubuntu 14.04 lts. due restrictions, cannot provide write permissions /tmp folder.

the ghc compiler throwing error after removing permissions /tmp folder

/tmp/ghc12032_0: createdirectory: permission denied (permission denied)

is there way provide custom temporary directory ghc? didn't find compiler flag can that. need provide custom directory every time invoke ghc. appreciated.

how this?

https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/separate-compilation.html#temp-files

-tmpdir

if have trouble because of running out of space in /tmp (or wherever installation thinks temporary files should go), may use -tmpdir option specify alternate directory. example, -tmpdir . says put temporary files in current working directory.

alternatively, use tmpdir environment variable. set name of directory temporary files should put. gcc , other programs honour tmpdir variable well.

even better idea: set default_tmpdir make variable when building ghc, , never worry tmpdir again. (see build documentation).


Comments

Post a Comment

Popular posts from this blog

java - Date formats difference between yyyy-MM-dd'T'HH:mm:ss and yyyy-MM-dd'T'HH:mm:ssXXX -

-
i trying parse date 2014-12-03t10:05:59.5646+08:00 using these 2 formats: yyyy-mm-dd't'hh:mm:ss yyyy-mm-dd't'hh:mm:ssxxx when parse using yyyy-mm-dd't'hh:mm:ss works fine, when parse yyyy-mm-dd't'hh:mm:ssxxx parseexception thrown. which correct format parse date , difference between these 2 formats? note : cannot use joda :( those valid formats: yyyy-mm-dd't'hh:mm:ss.sssz >>> e.g.: 2001-07-04t12:08:56.235-0700 yyyy-mm-dd't'hh:mm:ss.sssxxx >>> e.g.: 2001-07-04t12:08:56.235-07:00 edit: btw, "x" refer (iso 8601 time zone)
Read more

c# - Get rid of xmlns attribute when adding node to existing xml -

-
i have xml-file: <ns2:root xmlns:ns2="namespace"> <ns2:a> <ns2:b>some content</b> <ns2:c>some content</c> <ns2:d>some content</d> </a> </root> i need add new node in specific place, code is: var doc = xdocument.load(file); xnamespace ns2 = "namespace"; doc.element(ns2 + "root").element(ns2 + "a").element(ns2 + "c").addafterself( new xelement(ns2+"new", new xelement("new1", new xelement("new2","some content"), new xelement("new3", "some content")))); the output is: <ns2:root xmlns:ns2="namespace"> <ns2:a> <ns2:b>some content</b> <ns2:c>some content</c> <ns2:new> <new1 xmlns=""> <new2>some content</new2> ...
Read more