source: extracted/build @ 2620

Last change on this file since 2620 was 2620, checked in by campbell, 7 years ago

Sufficient hacking to run the extracted Clight semantics.

  • Property svn:executable set to *
File size: 129 bytes
Line 
1#!/bin/sh
2
3# Uses a GNU sed extension
4ls *.ml | sed -e 's/\(.\)\(.*\)\.ml/\U\1\E\2/' > extracted.mlpack
5ocamlbuild extracted.cmo
Note: See TracBrowser for help on using the repository browser.