[PPL-devel] [GIT] ppl/ppl(master): Updated.

19 Oct 2014

Module: ppl/ppl
Branch: master
Commit: db31be9e91092a431481e8cfc45d41b30d5b3534
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=db31be9e91092...
Author: Roberto Bagnara roberto.bagnara@bugseng.com
Date:   Sun Oct 19 21:02:10 2014 +0200
Updated.
---
config.sub |   15 +++++++++++++--
 1 files changed, 13 insertions(+), 2 deletions(-)

diff --git a/config.sub b/config.sub
index d654d03..d4c8338 100755
--- a/config.sub
+++ b/config.sub
@@ -2,7 +2,7 @@
 # Configuration validation subroutine script.
 #   Copyright 1992-2014 Free Software Foundation, Inc.
-timestamp='2014-05-01'
+timestamp='2014-09-26'
# This file is free software; you can redistribute it and/or modify it
 # under the terms of the GNU General Public License as published by
@@ -302,6 +302,7 @@ case $basic_machine in
    | pdp10 | pdp11 | pj | pjl \
    | powerpc | powerpc64 | powerpc64le | powerpcle \
    | pyramid \
+	| riscv32 | riscv64 \
    | rl78 | rx \
    | score \
    | sh | sh[1234] | sh[24]a | sh[24]aeb | sh[23]e | sh[34]eb | sheb | shbe | shle | sh[1234]le | sh3ele \
@@ -326,6 +327,9 @@ case $basic_machine in
    c6x)
    	basic_machine=tic6x-unknown
    	;;
+	leon|leon[3-9])
+		basic_machine=sparc-$basic_machine
+		;;
    m6811 | m68hc11 | m6812 | m68hc12 | m68hcs12x | nvptx | picochip)
    	basic_machine=$basic_machine-unknown
    	os=-none
@@ -773,6 +777,9 @@ case $basic_machine in
    	basic_machine=m68k-isi
    	os=-sysv
    	;;
+	leon-*|leon[3-9]-*)
+		basic_machine=sparc-`echo $basic_machine | sed 's/-.*//'`
+		;;
    m68knommu)
    	basic_machine=m68k-unknown
    	os=-linux
@@ -828,6 +835,10 @@ case $basic_machine in
    	basic_machine=powerpc-unknown
    	os=-morphos
    	;;
+	moxiebox)
+		basic_machine=moxie-unknown
+		os=-moxiebox
+		;;
    msdos)
    	basic_machine=i386-pc
    	os=-msdos
@@ -1373,7 +1384,7 @@ case $os in
          | -cygwin* | -msys* | -pe* | -psos* | -moss* | -proelf* | -rtems* \
          | -mingw32* | -mingw64* | -linux-gnu* | -linux-android* \
          | -linux-newlib* | -linux-musl* | -linux-uclibc* \
-	      | -uxpv* | -beos* | -mpeix* | -udk* \
+	      | -uxpv* | -beos* | -mpeix* | -udk* | -moxiebox* \
          | -interix* | -uwin* | -mks* | -rhapsody* | -darwin* | -opened* \
          | -openstep* | -oskit* | -conix* | -pw32* | -nonstopux* \
          | -storm-chaos* | -tops10* | -tenex* | -tops20* | -its* \

    