summary refs log tree commit diff
path: root/pkgs/xtc
diff options
context:
space:
mode:
authorEelco Visser <visser@acm.org>2003-08-14 12:26:13 +0000
committerEelco Visser <visser@acm.org>2003-08-14 12:26:13 +0000
commit6c8937cbca64e44c05b8ec5b0655d8680921822c (patch)
treec1fe204dc4a3f51c5d6e5f835ac92caec6e6037c /pkgs/xtc
parent41e1c2e039dc20cc35c28defd4fbebf9352e9fb9 (diff)
separate strategoxt packages
svn path=/nixpkgs/trunk/; revision=286
Diffstat (limited to 'pkgs/xtc')
-rwxr-xr-xpkgs/xtc/xtc-build.sh16
-rw-r--r--pkgs/xtc/xtc-head.fix4
-rwxr-xr-xpkgs/xtc/xtc.fix20
3 files changed, 40 insertions, 0 deletions
diff --git a/pkgs/xtc/xtc-build.sh b/pkgs/xtc/xtc-build.sh
new file mode 100755
index 0000000000000..895ed5b0bd314
--- /dev/null
+++ b/pkgs/xtc/xtc-build.sh
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+set -e
+
+export NIX_LDFLAGS=-Wl,-s
+
+. $stdenv/setup 
+
+export PATH=$autoxt/bin:$PATH
+
+cp -r $src $name
+cd $name
+./bootstrap
+./configure --prefix=$out --with-aterm=$aterm --with-srts=$srts
+make
+make install
diff --git a/pkgs/xtc/xtc-head.fix b/pkgs/xtc/xtc-head.fix
new file mode 100644
index 0000000000000..7ab6fd1d850b9
--- /dev/null
+++ b/pkgs/xtc/xtc-head.fix
@@ -0,0 +1,4 @@
+App(
+  IncludeFix("xtc/xtc.fix")
+  , [("rev", "3385")]
+)
\ No newline at end of file
diff --git a/pkgs/xtc/xtc.fix b/pkgs/xtc/xtc.fix
new file mode 100755
index 0000000000000..e7b54871d9c3d
--- /dev/null
+++ b/pkgs/xtc/xtc.fix
@@ -0,0 +1,20 @@
+Function(["rev"],
+  Package(
+    [ ("name", "xtc")
+
+    , ("build", Relative("xtc/xtc-build.sh"))
+
+    , ("src", App(IncludeFix("fetchsvn/fetchsvn.fix"),
+        [ ("url",  "http://losser.st-lab.cs.uu.nl:12080/repos/StrategoXT/trunk/StrategoXT/xtc")
+        , ("name", "xtc")
+        , ("rev",  Var("rev"))
+        ])
+      )
+
+    , ("stdenv", IncludeFix("stdenv/stdenv.fix"))
+    , ("aterm",  IncludeFix("aterm/aterm.fix"))
+    , ("autoxt", App(IncludeFix("autoxt/autoxt.fix"),[("rev",Var("rev"))]))
+    , ("srts",   App(IncludeFix("srts/srts.fix"),[("rev",Var("rev"))]))
+    ]
+  )
+)