unison

Fork of Unison, a bi-directional file synchronization tool
git clone git://git.laack.co/unison.git
Log | Files | Refs | README | LICENSE

dune (572B)

      1 ; Not possible to refine more
      2 (rule
      3  (targets projectInfo.ml)
      4  (deps ../Makefile.ProjectInfo)
      5  (action
      6    (with-outputs-to projectInfo.ml
      7     (bash
      8       ". ../Makefile.ProjectInfo && \
      9        echo \"let myName = \\\"$NAME\\\";;\" && \
     10        echo \"let myVersion = \\\"$VERSION\\\";;\" && \
     11        echo \"let myMajorVersion = \\\"00\\\";;\""))))
     12 
     13 ; echo 'let myName = "'$(NAME)'";;' > $@
     14 ; echo 'let myVersion = "'$(VERSION)'";;' >> $@
     15 ; echo 'let myMajorVersion = "'$(MAJORVERSION)'";;' >> $@
     16 
     17 ; (library
     18 ;  (name ubase)
     19 ;  (flags :standard -warn-error -9-27-32-39-50))