#!/bin/sh
echo Generating Makefile.config

JS_DIR=`ocamlfind query js_of_ocaml`
JS_COMP=`which js_of_ocaml`

echo JS_DIR=$JS_DIR >> Makefile.config.temp
echo JS_COMP=$JS_COMP >> Makefile.config.temp

echo "(*   Generated by ./configure   *)" > config.ocpgen
echo OCAMLVNUM='"'$OCAMLVNUM'"'  >> config.ocpgen
echo JS_COMP='"'$JS_COMP'"' >> config.ocpgen

mv Makefile.config.temp Makefile.config
echo Makefile.config generated
