Fix GLPK linking (#7357)

[cvc5.git] / contrib / get-authors

diff --git a/contrib/get-authors b/contrib/get-authors
index 0fb3f6ae1ecee15b7b5c87bb45fbf394a3c1513c..3bec5513028419e23065c90298f45482e4d72186 100755 (executable)
--- a/contrib/get-authors
+++ b/contrib/get-authors
@@ -1,7 +1,7 @@
 #!/bin/sh
 #
 # get-authors
-# Copyright (c) 2009-2019  The CVC4 Project
+# Copyright (c) 2009-2021  The cvc5 Project
 #
 # usage: get-authors [ files... ]
 #
@@ -13,12 +13,15 @@ gituser="`git config user.name` <`git config user.email`>"
 while [ $# -gt 0 ]; do
   f=$1
   shift
-  if ! grep -q " \*\* Top contributors" "$f"
+  if ! grep -q " Top contributors" "$f"
   then
     header_lines=0
   else
-    header_lines=$(grep "\*\*\/" "$f" -m 1 -n | cut -d ':' -f 1)
-    if [ -z $header_lines ]; then header_lines=0; fi
+    header_lines=$(grep "^ \*\/" "$f" -m 1 -n | cut -d ':' -f 1)
+    if [ -z $header_lines ]; then
+      header_lines=$(grep "^##$" "$f" -m 3 -n | tail -n 1 | cut -d ':' -f 1)
+      [ -z "$header_lines" ] && header_lines=0;
+    fi
   fi
   ((header_lines++))
   total_lines=$(wc -l "$f" | awk '{print$1}')
@@ -62,9 +65,13 @@ while [ $# -gt 0 ]; do
     sed 's/makaimann/Makai Mann/' | \
     sed 's/Martin Brain/Martin/' | \
     sed 's/Martin/Martin Brain/' | \
+    sed 's/nafur/Gereon Kremer/' | \
     sed 's/justinxu421/Justin Xu/' | \
     sed 's/yoni206/Yoni Zohar/' | \
     sed 's/ayveejay/Andrew V. Jones/' | \
+    sed 's/FabianWolff/Fabian Wolff/' | \
+    sed 's/mudathirmahgoub/Mudathir Mohamed/' | \
+    sed 's/mcjuneho/Michael Chang/' | \
 
     # Determine top three contributors
     sort | uniq -c | sort -rn | head -n3 | \