view make-pc.sh @ 657:4c4389325ae4

Better RNG initialization

On platforms where it's available, use gettimeofday() and mix in the ~20
bits that that gives to the high (slowly-changing) bits of the seconds
since the Epoch.

#! /bin/bash

EXECUTABLE="$1"
LIBDIR="$2"
INCLUDEDIR="$3"
SOVERSION=$4
MINORVERSION=$5

echo "includedir=$INCLUDEDIR"
echo "libdir=$LIBDIR"
echo
echo "Name: $EXECUTABLE"
echo "Description: the $EXECUTABLE library"
echo "Version: $SOVERSION.$MINORVERSION"
echo "Requires.private: gsl gsoap++"
echo 'Cflags: -I${includedir}'
echo 'Libs: -L${libdir} -l'"$EXECUTABLE"