Add 'font_api/' from commit '4c872e829d716014e601bdf0707edd11a9abbc17'

git-subtree-dir: font_api
git-subtree-mainline: f27b5478b9
git-subtree-split: 4c872e829d

font_api/tools/make_font_lua.sh

@@ -0,0 +1,71 @@
+#!/bin/bash
+
+scriptname=$(basename $0)
+identify="identify"
+
+usage() {
+	echo "Usage: $0 fontname"
+	echo "fontname: The name of the font. Must correspond to existing texture/font_<fontname>_????.png files"
+}
+
+if [ $# -ne 1 ]
+then
+	usage
+	exit 1
+fi
+
+font_name=$1
+
+for f in textures/font_${font_name}_????.png
+do
+    if [[ $f =~ textures/font_${font_name}_([0-9a-fA-F]{4}).png ]]
+    then
+        code=$((16#${BASH_REMATCH[1]}))
+        size=$(identify $f | cut -d " " -f 3)
+        w=$(echo $size | cut -d "x" -f 1)
+        h=$(echo $size | cut -d "x" -f 2)  
+
+        if [ -z "$font_height" ]
+        then
+        	font_height=$h
+        else
+        	if [ $font_height -ne $h ]
+        	then
+        		echo "Error : $f as height of $h pixels, previous textures have a height of $font_height pixels. All textures should have the same height."
+        	fi
+        fi
+
+        if [ -z "$font_widths" ]
+        then
+      	    font_widths="[$code]=$w"
+      	else
+      	    font_widths="$font_widths, [$code]=$w"
+      	fi
+    fi
+done
+
+echo "--[[
+
+$luafile generated by $scriptname $(LANG=en_US date)
+
+--]]
+
+font_api.register_font(
+	'$font_name',
+	{
+		height = $font_height,
+		widths = {
+			$font_widths
+		},
+	}
+);
+" > font_$font_name.lua
+
+if grep -q font_api depends.txt &>/dev/null
+then
+	echo "font_api already in depends.txt."
+else
+	echo "adding font_api to depends.txt."
+	echo "font_api" >> depends.txt
+fi
+