#!/bin/sh

public_symbols_txt=$1

cat <

/*

 * Name mangling for public symbols is controlled by --with-mangling and

 * --with-jemalloc-prefix.  With default settings the je_ prefix is stripped by

 * these macro definitions.

 */

#ifndef JEMALLOC_NO_RENAME

EOF

for nm in `cat ${public_symbols_txt}` ; do

  n=`echo ${nm} |tr ':' ' ' |awk '{print $1}'`

  m=`echo ${nm} |tr ':' ' ' |awk '{print $2}'`

  echo "#  define je_${n} ${m}"

done

cat <

#endif

EOF