Revision 71513f0e - Improvements as suggested by e. Noulard: better install of include; modified ... - LustreC

« Previous | Next »

Revision 71513f0e

Added by Pierre-Loïc Garoche over 9 years ago

ID 71513f0e66d9ee76a835bd2efefa6382a6b27f60
Parent 94fb84c3
Child 4a840259, c653e640

Improvements as suggested by e. Noulard: better install of include; modified generated makefile

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@156 041b043f-8d7c-46b2-b46e-ef0dd855326e

added
modified
copied
renamed
deleted

_oasis (diff)
setup.ml (diff)
src
- c_backend.ml (diff)
test
- Makefile (diff)
- test-compile.sh (diff)