From: Daniel Arndt Date: Thu, 24 May 2018 21:19:36 +0000 (+0200) Subject: Remove astyle X-Git-Tag: v9.1.0-rc1~1099^2~3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0231c33e0db5f09936b88311b3930aac92772077;p=dealii.git Remove astyle --- diff --git a/contrib/styles/astyle.rc b/contrib/styles/astyle.rc deleted file mode 100644 index 817fa3b3ac..0000000000 --- a/contrib/styles/astyle.rc +++ /dev/null @@ -1,33 +0,0 @@ -## --------------------------------------------------------------------- -## -## Copyright (C) 2012 - 2013 by the deal.II authors -## -## This file is part of the deal.II library. -## -## The deal.II library is free software; you can use it, redistribute -## it, and/or modify it under the terms of the GNU Lesser General -## Public License as published by the Free Software Foundation; either -## version 2.1 of the License, or (at your option) any later version. -## The full text of the license can be found in the file LICENSE at -## the top level of the deal.II distribution. -## -## --------------------------------------------------------------------- - -# astyle 2.02 indentation style for deal.II - ---style=gnu - ---convert-tabs ---indent=spaces=2 ---indent-namespaces ---keep-one-line-blocks ---min-conditional-indent=0 ---pad-header - -# write things as 'char *p' ---align-pointer=name ---align-reference=name - ---max-instatement-indent=60 ---suffix=none ---quiet diff --git a/contrib/utilities/setup_astyle.sh b/contrib/utilities/setup_astyle.sh deleted file mode 100755 index 8005442b54..0000000000 --- a/contrib/utilities/setup_astyle.sh +++ /dev/null @@ -1,74 +0,0 @@ -#!/bin/bash -## --------------------------------------------------------------------- -## -## Copyright (C) 2018 by the deal.II authors -## -## This file is part of the deal.II library. -## -## The deal.II library is free software; you can use it, redistribute -## it, and/or modify it under the terms of the GNU Lesser General -## Public License as published by the Free Software Foundation; either -## version 2.1 of the License, or (at your option) any later version. -## The full text of the license can be found in the file LICENSE at -## the top level of the deal.II distribution. -## -## --------------------------------------------------------------------- - -# -# This script downloads and installs astyle-2.04 in programs/astyle/bin. -# The installed binary is used in the 'indent' script in case astyle is -# installed by this script. -# -# This script only works on Linux and macOS, and also puts the 'astyle' -# executable into a very specific place. This is not a general purpose -# solution. A better solution is to essentially execute the commands -# below in a shell and make sure that the executable is installed into -# a central directory -- say, /usr/bin or /usr/local/bin. -# - -PRG="$(cd "$(dirname "$0")" && pwd)/programs" - -# Find out which kind of OS we are running and set the appropriate settings -case "$OSTYPE" in - darwin*) - FILENAME="astyle_2.04_macosx.tar.gz" - CHECKSUM_CMD="shasum" - CHECKSUM="e0ba90723463172fd8a063897092284993eeebb87c63cf26ee36f555b0d89368 $FILENAME" - BUILD_PATH="$PRG/astyle/build/mac" - ;; - linux*) - FILENAME="astyle_2.04_linux.tar.gz" - CHECKSUM_CMD="sha256sum" - CHECKSUM="70b37f4853c418d1e2632612967eebf1bdb93dfbe558c51d7d013c9b4e116b60 $FILENAME" - BUILD_PATH="$PRG/astyle/build/gcc" - ;; - *) - echo "unknown: $OSTYPE" - exit 1 - ;; -esac - -INSTALL_PATH="$BUILD_PATH"/../../ - -if [ ! -d "$PRG" ] -then - echo "create folder $PRG" - mkdir "$PRG" -fi - -# astyle -if [ ! -d "$PRG/astyle" ] -then - echo "Downloading and installing astyle." - mkdir "$PRG/astyle" - curl -s -L "https://downloads.sourceforge.net/project/astyle/astyle/astyle%202.04/$FILENAME" -O > /dev/null - if echo "$CHECKSUM" | "${CHECKSUM_CMD}" -c; then - tar xfz "$FILENAME" -C "$PRG" > /dev/null - cd "$BUILD_PATH" || exit 1 - make -j4 > /dev/null - cp -r "$BUILD_PATH"/bin "$INSTALL_PATH" - else - echo "*** The downloaded file has the wrong SHA256 checksum!" - exit 1 - fi -fi