#!/bin/sh # $Id$ cd `dirname $0`/.. sed \ -e 's/^.*FLEXDIR.*$//g' \ -e 's/^#ml \(.*\)/\1/' \ -e 's/^\(#.*\)$/(* \1 *)/' \ -e 's/^\(.*\$([0-9]).*\)$/(* \1 *)/' \ -e 's/^\([^(=]*\)=\([^"]*\)$/let <:lower<\1>> = "\2";;/' \ -e 's/\$(AS)/as/g' \ -e 's/\$(\([^)]*\))/"\^<:lower<\1>>\^"/g' \ -e 's/""\^//g' \ -e 's/\^""//g' \ -e 's/^let <:lower myocamlbuild_config.ml