Fix GLPK linking (#7357)

[cvc5.git] / contrib / get-authors

diff --git a/contrib/get-authors b/contrib/get-authors
index df147d10d6d8013712e49e2d8ec992b0e61a5a65..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}')
@@ -47,10 +50,8 @@ while [ $# -gt 0 ]; do
       '$2 !~ /^[ \t]*(#include|namespace|}.*namespace.*|[ \t]*$)/ {print $1}' | \
 
     # Keep author names only, remove the last 4 columns in ( ... )
-    awk 'NF{NF-=4};1' | \
 
-    # Determine top three contributors
-    sort | uniq -c | sort -rn | head -n3 | \
+    awk 'NF{NF-=4};1' | \
 
     # Fix author names
     sed "s,Not Committed Yet <not.committed.yet>,$gituser," | \
@@ -64,9 +65,16 @@ 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 | \
 
     # Remove first columns from uniq -c (number of lines)
     awk '{$1=""; print}' | \