Skip to content
Snippets Groups Projects
Select Git revision
  • gen2
  • aconjunctive default
  • pgsolver
  • pgsolver-old
  • pgsolver-tmp
  • cool-copy
  • cool2mlsolver
  • master
  • latex
  • ctl-testcases
  • tmp/leakdebug
  • api-docs
  • remove-gmlmip
  • fix-testsuite-flatmu
  • fix-testsuite protected
15 results

Makefile

Blame
  • Makefile 826 B
    # OASIS_START
    # DO NOT EDIT (digest: a3c674b4239234cbbe53afe090018954)
    
    SETUP = ocaml setup.ml
    
    build: setup.data
    	$(SETUP) -build $(BUILDFLAGS)
    
    doc: setup.data build
    	$(SETUP) -doc $(DOCFLAGS)
    
    test: setup.data build
    	$(SETUP) -test $(TESTFLAGS)
    
    all: setup.ml
    	$(SETUP) -all $(ALLFLAGS)
    
    install: setup.data
    	$(SETUP) -install $(INSTALLFLAGS)
    
    uninstall: setup.data
    	$(SETUP) -uninstall $(UNINSTALLFLAGS)
    
    reinstall: setup.data
    	$(SETUP) -reinstall $(REINSTALLFLAGS)
    
    clean: setup.ml
    	$(SETUP) -clean $(CLEANFLAGS)
    
    distclean: setup.ml
    	$(SETUP) -distclean $(DISTCLEANFLAGS)
    
    setup.data: setup.ml
    	$(SETUP) -configure $(CONFIGUREFLAGS)
    
    configure: setup.ml
    	$(SETUP) -configure $(CONFIGUREFLAGS)
    
    setup.ml: _oasis
    	oasis setup
    
    .PHONY: build doc test all install uninstall reinstall clean distclean configure
    
    # OASIS_STOP