Home Explore Help
Sign In
Leo
/
oclaunch
mirror of https://gitlab.com/WzukW/oclaunch.git
1
1
Fork 0
Files Issues Wiki
Tree: 1b895b8c67
Branches Tags
oclaunch
/
Makefile

Makefile 187 B
History Raw

1234567891011 
  1. all: atdgen code
    2. 

  2. 

  3. atdgen:
    4. 

  4. 	atdgen -t settings.atd
    5. 

  5. 	atdgen -j settings.atd
    6. 

  6. 

  7. mli:
    8. 

  8. 	corebuild -pkg yojson,atdgen file_com.inferred.mli
    9. 

  9. 

  10. code: mli
    11. 

  11. 	corebuild -pkg yojson,atdgen oclaunch.byte
    12.