#!/bin/bash
name="$1"
if [ ! -f "$name" ] ; then
    echo "usage: $0 [library-location] (cflags)"
    exit 1
fi
objdump -TC $1 | grep ".text" | awk '{print $7}' | \
    sed "s/^/void /g" | sed "s/$/(){}/g" > $(basename $name.c)
shift
gcc $@ -o $(basename $name) $(basename $name.c) -shared

