test/Makefile.dist · 5316f18a01d3d41cd969ec5fe8e403235421be14 · verimag / synchrone / lustre-v6 · GitLab

Snippets Groups Projects

11 years ago

Some work to prepare the merge with the lurette git repo. · 5316f18a

Erwan Jahier authored 11 years ago

I took the data type definition from SocExecValue to define a Data
module that is a strict extension of the Lutin Data module.

The duplicated Genlex module is now also identical to the one of
Lurette.

Quite boring, but simple thanks to the ocaml type system.

5316f18a

Some work to prepare the merge with the lurette git repo.

Erwan Jahier authored 11 years ago

I took the data type definition from SocExecValue to define a Data
module that is a strict extension of the Lutin Data module.

The duplicated Genlex module is now also identical to the one of
Lurette.

Quite boring, but simple thanks to the ocaml type system.

Makefile.dist 212 B

test: lus2lic ec2c runtest 

testdir=$(shell pwd)

runtest: 
	runtest --all --tool lus2lic  || true

lus2lic:
	ln -s ../bin/lus2lic

# requires ec2c (distributed in the lv4 package)
ec2c:
	ln -s `which ec2c`