Changeset 81886

Timestamp:

08/06/11 05:21:53 (4 years ago)

Author:

jmr@…

Message:

Djinn: remove use of cd

File:

• trunk/dports/devel/Djinn/Portfile (modified) (1 diff)

trunk/dports/devel/Djinn/Portfile

@@ -26 +26 @@
 depends_build   port:ghc
 
-configure       { cd ${worksrcpath}
-                  system "runghc Setup configure --ghc --prefix=${prefix}"
+configure       {
+                  system -W ${worksrcpath} "runghc Setup configure --ghc --prefix=${prefix}"
                 }
 
-build           { cd ${worksrcpath}
-                  system "runghc Setup build"
+build           {
+                  system -W ${worksrcpath} "runghc Setup build"
                 }
 
-destroot        { cd ${worksrcpath}
-                  system "runghc Setup copy --copy-prefix=${destroot}${prefix}"
+destroot        {
+                  system -W ${worksrcpath} "runghc Setup copy --copy-prefix=${destroot}${prefix}"
                 }
 
-post-activate   { cd ${worksrcpath}
-                  catch { system "runghc Setup unregister"}
-                  system "runghc Setup register"
+post-activate   {
+                  catch { system -W ${worksrcpath} "runghc Setup unregister"}
+                  system -W ${worksrcpath} "runghc Setup register"
                 }