#!/bin/sh

# 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 \"\"" >> src/config.ml

