#!/bin/sh

# Optionally set picomus to your picomus executable
picomus=${PWD}/picosat-936/picomus

# Make sure we find picomus (though Satallax will compile without)
if [ -f $picomus ]
then
echo "Found picomus executable at $picomus"
else
echo "Cannot find picomus executable at $picomus; computation of proof terms will be disabled. (See INSTALL)"
picomus=''
fi

# Build the config.ml file
echo "(*** config.ml " > src/config.ml
hostname | cat >> src/config.ml
date | cat >> src/config.ml
echo "***)" >> src/config.ml
echo "let satallaxdir = \"${PWD}\"" >> src/config.ml
echo "let picomus = ref \"$picomus\"" >> src/config.ml

