Makefile

   1 # OASIS_START
   2 # DO NOT EDIT (digest: a3c674b4239234cbbe53afe090018954)
   3
   4 SETUP = ocaml setup.ml
   5
   6 build: setup.data
   7         $(SETUP) -build $(BUILDFLAGS)
   8
   9 doc: setup.data build
  10         $(SETUP) -doc $(DOCFLAGS)
  11
  12 test: setup.data build
  13         $(SETUP) -test $(TESTFLAGS)
  14
  15 all:
  16         $(SETUP) -all $(ALLFLAGS)
  17
  18 install: setup.data
  19         $(SETUP) -install $(INSTALLFLAGS)
  20
  21 uninstall: setup.data
  22         $(SETUP) -uninstall $(UNINSTALLFLAGS)
  23
  24 reinstall: setup.data
  25         $(SETUP) -reinstall $(REINSTALLFLAGS)
  26
  27 clean:
  28         $(SETUP) -clean $(CLEANFLAGS)
  29
  30 distclean:
  31         $(SETUP) -distclean $(DISTCLEANFLAGS)
  32
  33 setup.data:
  34         $(SETUP) -configure $(CONFIGUREFLAGS)
  35
  36 configure:
  37         $(SETUP) -configure $(CONFIGUREFLAGS)
  38
  39 .PHONY: build doc test all install uninstall reinstall clean distclean configure
  40
  41 # OASIS_STOP
  42
  43 .PHONY: top
  44 top:
  45                 $(SETUP) -build src/sqlgg.top
  46
  47 VERSION=$(shell oasis query version)
  48 NAME=sqlgg-$(VERSION)
  49
  50 .PHONY: release
  51 release:
  52         git checkout -b release
  53         oasis setup
  54         git commit -m "oasis setup" setup.ml _tags
  55         git tag -a -m $(VERSION) $(VERSION)
  56         git archive --prefix=$(NAME)/ $(VERSION) | gzip > $(NAME).tar.gz
  57         git checkout master
  58         git branch -d release
  59         gpg -a -b $(NAME).tar.gz
  60
  61 .PHONY: oasis
  62 oasis:
  63         oasis setup -setup-update dynamic