extra things

README

@@ -0,0 +1,26 @@
+
+
+colormake
+---------
+
+A script to color the output of make,
+ripping-off colormake.pl by Bjarni R.
+Einarsson, with some changes and
+improvements.
+
+
+To install:
+    ./setup.py install
+
+Or, just copy 'colormake' and 'colormake.py' to somewhere in the path.
+
+Then, you may want to edit your bashrc, adding something like,
+    alias make='colormake'
+
+
+contact
+-------
+
+Daniel C. Jones <dcjones@cs.washington.edu>
+
+

colormake

@@ -0,0 +1,6 @@
+#!/bin/bash
+
+/usr/bin/make "$@" 2>&1 | colormake.py
+
+exit ${PIPESTATUS[0]}
+

colormake.py

@@ -1,8 +1,13 @@
 #!/usr/bin/env python
 
 '''
-A rip-off of colormake.pl by Bjarni R. Einarsson,
-with some small changes and improvements.
+colormake
+---------
+
+A script to color the output of make,
+ripping-off colormake.pl by Bjarni R.
+Einarsson, with some small changes and
+improvements.
 
 Daniel C. Jones <dcjones@cs.washington.edu>
 2011.06.01.20.30
@@ -12,10 +17,8 @@
 import sys
 import re
 
-# Some useful color codes, see end of file for more.
-#
-col_black =        '\033[30m'
-col_red =          '\033[31m'
+# Some useful color codes.
+
 col_green =        '\033[32m'
 col_yellow =       '\033[33m'
 col_blue =         '\033[34m'

setup.py

@@ -0,0 +1,9 @@
+#!/usr/bin/env python
+
+from distutils.core import setup
+
+setup(name    = 'colormake',
+      version = '1.0',
+      scripts = ['colormake.py', 'colormake'])
+
+