Skip to content
Snippets Groups Projects
  1. Nov 23, 2022
  2. Sep 21, 2022
  3. Jun 29, 2022
  4. Apr 11, 2022
  5. Mar 19, 2022
  6. Mar 01, 2022
  7. Feb 23, 2022
  8. Feb 15, 2022
  9. Jan 12, 2022
  10. Oct 26, 2021
  11. Sep 15, 2021
  12. May 24, 2021
  13. Nov 23, 2020
  14. Mar 17, 2020
  15. Jun 30, 2018
  16. Jun 27, 2018
  17. Apr 03, 2018
  18. Feb 05, 2018
  19. Jan 30, 2018
  20. Jan 16, 2018
  21. Dec 04, 2017
  22. Nov 15, 2017
  23. Oct 11, 2017
    • Grégoire Henry's avatar
      Makefile: simplify the compilation process. · 370112f9
      Grégoire Henry authored
      This patch is co-authored with: cagdas.bozman@ocamlpro.com
      
      With this patch the economic protocol is now compiled as as
      "functor-pack", parameterized over the environment. This will ease the
      protocol reusability outside of the tezos source tree (e.g. for a
      michelson Web IDE) and will allow proper unit testing of the economic
      protocol.
      
      This functorization allows to break the dependency of the
      'tezos-protocol-compiler' on various '.mli' of the node, and hence
      we don't need anymore the unusual compilation schema:
      
        a.mli -> b.mli -> b.ml -> a.ml
      
      where 'A' is linked after 'B' but 'a.mli' should still be compiled
      before 'b.mli'. This will simplify a switch to 'ocp-build' or 'jbuiler'.
      370112f9
  24. Jun 12, 2017
  25. Nov 15, 2016
  26. Sep 09, 2016
Loading