Skip to content
Snippets Groups Projects
Commit a8e66e98 authored by Pierre Loic Garoche's avatar Pierre Loic Garoche
Browse files

Removed oasis, now use the classical autoconf; ./configure; make

parent 5ae8db15
No related branches found
No related tags found
No related merge requests found
OASISFormat: 0.2
Name: Lustre Compiler
Version: 1.2
Synopsis: Lustre compiler C and Java backends
Authors:
License: LGPL-2.1
Plugins: DevFiles (0.2)
# , Custom (0.2)
PreBuildCommand: ./svn_version.sh $(prefix)
PostInstallCommand: cd include; for i in *.lusi; do echo Compiling $i; lustrec -verbose 0 $i; done; mkdir -p $(prefix)/include/lustrec; cp -rf * $(prefix)/include/lustrec
Executable lustrec
Path: src
BuildTools: ocamlbuild
MainIs: main_lustre_compiler.ml
BuildDepends: ocamlgraph,str,unix
CompiledObject: native
Test nonregression
Type: custom
Command: make test-compile
WorkingDirectory: test
Run: true
This diff is collapsed.
#!/bin/bash
version=`svn info | awk -v ver="UNKNOWN" -F ":" '/R?vision/ { ver=$2 } END { print ver }' | tr -d " "`
if [ $version = 'UNKNOWN' ] ; then
version=$(git rev-parse HEAD)
fi
if [ -z $version ] ; then
version=UNKNOWN
fi
filename=version.ml
prefix=$1
echo "Generating version information in file \"${filename}\" ..."
echo "" > src/${filename}
echo "(* Version file generated by Oasis *)" >> src/${filename}
echo "" >> src/${filename}
echo "let number = \"${version}\"" >> src/${filename}
echo "version number: ${version}"
echo "" >> src/${filename}
echo "let prefix = \"${prefix}\"" >> src/${filename}
echo "installation path prefix: ${prefix}"
echo "... done"
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment