Project

General

Profile

« Previous | Next » 

Revision 7ecfca04

Added by Pierre-Loïc Garoche about 5 years ago

  • ID 7ecfca04f31650f27ba5dec18a590311f47c15e8
  • Parent 84074455

Merged the master branch into mutation. Mutation of floats has been removed (temporarily)

View differences:

Makefile.in
17 17
	@mkdir -p $(LOCAL_BINDIR)
18 18
	@mv _build/src/main_lustre_compiler.native $(LOCAL_BINDIR)/lustrec
19 19

  
20
$(LOCAL_BINDIR)/lustrem: configure Makefile
21
	@echo Compiling binary lustrem
22
	@$(OCAMLBUILD) -cflags -I,@OCAMLGRAPH_PATH@ -lflag @OCAMLGRAPH_PATH@/graph.cmxa -lflag nums.cmxa -I src -I src/backends/C -I src/plugins/scopes src/main_lustre_mutator.native
23
	@mkdir -p $(LOCAL_BINDIR)
24
	@mv _build/src/main_lustre_mutator.native $(LOCAL_BINDIR)/lustrem
25

  
20 26
configure: configure.ac
21 27
	@echo configure.ac has changed relaunching autoconf
22 28
	@autoconf

Also available in: Unified diff