From 102f3636a3c515554d79079057d8a160f73f9d9a Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 20 Aug 2011 05:57:46 -0400 Subject: [PATCH] The Ubuntu build is actually Karmic now. --- collects/meta/build/build | 3 ++- collects/meta/dist-specs.rkt | 2 ++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/collects/meta/build/build b/collects/meta/build/build index be0284b422..44a979cc86 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -93,7 +93,7 @@ defbuild "macintel" "i386-osx-mac" \ "configure_args=--enable-sdk=/Developer/SDKs/MacOSX10.4u.sdk" # defbuild "galaga" "i386-linux-ubuntu-hardy" defbuild "champlain" "i386-linux-f12" -defbuild "ccs-linux" "i386-linux-ubuntu-jaunty" "moveto=/proj/racket" +defbuild "ccs-linux" "i386-linux-ubuntu-karmic" "moveto=/proj/racket" # defbuild "punge" "i386-linux-ubuntu-jaunty" "renice=20" # defbuild "bjorn" "i386-linux-gcc2" # defbuild "chicago" "i386-linux-debian" @@ -299,6 +299,7 @@ platforms_of_dist_type() { "i386-linux-ubuntu-hardy" \ "i386-linux-ubuntu-intrepid" \ "i386-linux-ubuntu-jaunty" \ + "i386-linux-ubuntu-karmic" \ "i386-freebsd" \ "sparc-solaris" ;; ( "src" ) echo "win mac unix" ;; diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt index 6f0aeeb0c9..cec730d3af 100644 --- a/collects/meta/dist-specs.rkt +++ b/collects/meta/dist-specs.rkt @@ -105,6 +105,7 @@ i386-linux-ubuntu-feisty :=tag unix i386-linux-ubuntu-hardy :=tag unix i386-linux-ubuntu-intrepid :=tag unix i386-linux-ubuntu-jaunty :=tag unix +i386-linux-ubuntu-karmic :=tag unix i386-freebsd :=tag unix i386-win32 :=tag win x86_64-win32 :=tag win @@ -721,6 +722,7 @@ platform i386-linux-ubuntu-hardy => "Linux i386, built on Ubuntu Hardy" i386-linux-ubuntu-intrepid => "Linux i386, built on Ubuntu Intrepid" i386-linux-ubuntu-jaunty => "Linux i386, built on Ubuntu Jaunty" + i386-linux-ubuntu-karmic => "Linux i386, built on Ubuntu Karmic" i386-freebsd => "FreeBSD (i386)" sparc-solaris => "Solaris" ppc-osx-mac => "Mac OS X (PPC)"