balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
da921a8f56
ligo/Makefile

85 lines
2.4 KiB
Makefile
Raw Normal View History

Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
Jbuilder: use `--dev` for running test and other minor improvments
2017-11-14 02:47:13 +04:00
DEV ?= --dev
CI/opam: two steps compilation
2018-02-05 23:08:28 +04:00
PACKAGES:=$(patsubst %.opam,%,$(notdir $(shell find -name *.opam)))
Jbuilder: use `--dev` for running test and other minor improvments
2017-11-14 02:47:13 +04:00
Change compiler's requested version
2018-01-18 19:18:55 +04:00
current_ocaml_version := $(shell ocamlc -version)
include scripts/version.sh
ifneq (${current_ocaml_version},${ocaml_version})
$(error Unexpected ocaml version (found: ${current_ocaml_version}, expected: ${ocaml_version}))
endif
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
all:
Jbuilder: split `src/utils/` in multiple OPAM packages * `lib_stdlib`: basic extended OCaml stdlib and generic data structures * `lib_data_encoding`: almost independant 'Data_encoding' * `lib_error_monad`: almost independant 'Error_monad' * `lib_stdlib_lwt`: extended Lwt library * `lib_crypto`: all the crypto stuff (hashing, signing, cryptobox). * `lib_base`: - basic type definitions (Block_header, Operation, ...) - a module `TzPervasives` to bind them all and to be the single module opened everywhere. In the process, I splitted `Tezos_data` and `Hash` in multiple submodules, thus removing a lot of `-open`. The following two modules may not have found their place yet: - Base58 (currently in `lib_crypto`) - Cli_entries (currently in `lib_stdlib_lwt`)
2017-11-27 09:13:12 +04:00
@jbuilder build ${DEV} \
Move all packages to src/ Modify Makefile accordingly
2018-01-16 19:30:58 +04:00
src/bin_node/main.exe \
Client: split client-base modules into functions / commands
2018-02-14 14:01:23 +04:00
src/bin_client/main_client.exe \
src/bin_client/main_admin.exe \
Signer: move `main_signer.ml` into into its own package
2018-05-26 13:11:45 +04:00
src/bin_signer/main_signer.exe \
Client: split client-alpha into lib and commands and extract the baker
2018-02-15 20:07:08 +04:00
src/lib_protocol_compiler/main_native.exe \
src/proto_alpha/bin_baker/main_baker_alpha.exe
Move all packages to src/ Modify Makefile accordingly
2018-01-16 19:30:58 +04:00
@cp _build/default/src/bin_node/main.exe tezos-node
Client: split client-base modules into functions / commands
2018-02-14 14:01:23 +04:00
@cp _build/default/src/bin_client/main_client.exe tezos-client
@cp _build/default/src/bin_client/main_admin.exe tezos-admin-client
Signer: move `main_signer.ml` into into its own package
2018-05-26 13:11:45 +04:00
@cp _build/default/src/bin_signer/main_signer.exe tezos-signer
Compiler: allow bytecode compilation
2018-01-30 19:30:22 +04:00
@cp _build/default/src/lib_protocol_compiler/main_native.exe tezos-protocol-compiler
Client: split client-alpha into lib and commands and extract the baker
2018-02-15 20:07:08 +04:00
@cp _build/default/src/proto_alpha/bin_baker/main_baker_alpha.exe tezos-alpha-baker
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
CI/opam: two steps compilation
2018-02-05 23:08:28 +04:00
all.pkg:
@jbuilder build ${DEV} \
$(patsubst %.opam,%.install, $(shell find -name \*.opam))
$(addsuffix .pkg,${PACKAGES}): %.pkg:
@jbuilder build ${DEV} \
$(patsubst %.opam,%.install, $(shell find -name $*.opam))
$(addsuffix .test,${PACKAGES}): %.test:
@jbuilder build ${DEV} \
@$(patsubst %/$*.opam,%,$(shell find -name $*.opam))/runtest
Refactor: introduce `lib_client_environment` This allow to use the functorised version of the protocol in the client.
2018-01-29 04:06:47 +04:00
Docs: add online help pages for the client
2018-01-31 15:23:03 +04:00
doc-html: all
Jbuilder: use `--dev` for running test and other minor improvments
2017-11-14 02:47:13 +04:00
@jbuilder build @doc ${DEV}
Docs: add online help pages for the client
2018-01-31 15:23:03 +04:00
@./tezos-client -protocol ProtoALphaALph man -verbosity 3 -format html | sed "s/$HOME/\$HOME/g" > docs/api/tezos-client.html
@./tezos-admin-client man -verbosity 3 -format html | sed "s/$HOME/\$HOME/g" > docs/api/tezos-admin-client.html
Docs: new documentation structure using Sphinx/RST - Provides a toplevel documentation structure using Sphinx - Adds a `doc-html` target to the main Makefile - Converts existing documentation to RST format - Add some new documentation / tutorials - Links the developer manual and OCaml documentation - Synchronized documentation on Gitlab pages This patch is co-authored by: - Benjamin Canou <benjamin@canou.fr> - Bruno Bernardo <bernardobruno@gmail.com> - Pietro Abate <pietro.abate@inria.fr>
2017-11-11 14:40:20 +04:00
@mkdir -p $$(pwd)/docs/_build/api/odoc
@rm -rf $$(pwd)/docs/_build/api/odoc/*
@cp -r $$(pwd)/_build/default/_doc/* $$(pwd)/docs/_build/api/odoc/
Makefile: use ${MAKE} for recursive calls
2018-03-15 21:25:38 +04:00
@${MAKE} -C docs
Generate html API documentation - add a new targert "make doc-html" to generate the html doc via jbuilder - this patch adds public_name to jbuild files for all libraries
2017-11-03 19:02:38 +04:00
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
build-test:
Jbuilder: use `--dev` for running test and other minor improvments
2017-11-14 02:47:13 +04:00
@jbuilder build @buildtest ${DEV}
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
test:
Jbuilder: use `--dev` for running test and other minor improvments
2017-11-14 02:47:13 +04:00
@jbuilder runtest ${DEV}
Refactor: update OPAM packages in CI
2018-01-29 04:26:41 +04:00
@./scripts/check_opam_test.sh
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
Jbuilder: fix rule `runtest_indent`
2018-01-27 14:21:41 +04:00
test-indent:
@jbuilder build @runtest_indent ${DEV}
Makefile: add 'fix-indent' target
2018-02-22 14:07:26 +04:00
fix-indent:
@src/lib_stdlib/test-ocp-indent.sh fix
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
build-deps:
@./scripts/install_build_deps.sh
docker-image:
@./scripts/create_docker_image.sh
Makefile: add install rule
2018-01-26 19:28:13 +04:00
install:
@jbuilder build @install
@jbuilder install
Repair: fix sandbox initialization script
2018-02-21 21:34:55 +04:00
uninstall:
@jbuilder uninstall
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
clean:
@-jbuilder clean
Client: split client-alpha into lib and commands and extract the baker
2018-02-15 20:07:08 +04:00
@-rm -f \
tezos-node \
tezos-client \
tezos-admin-client \
tezos-protocol-compiler \
tezos-alpha-baker
Makefile: use ${MAKE} for recursive calls
2018-03-15 21:25:38 +04:00
@-${MAKE} -C docs clean
Switch to Jbuilder This is a rewrite of the build system with `jbuilder`, with just a minimal toplevel Makefile for backward compatibility. This first patch preserves the project architecture, we only gain proper dependencies handling and always up-to-date `.merlin` files. A latter patch may split the project in smaller "sub-package", i.e. multiple `.opam` files. The embedded versions of the economic protocol are now compiled with `jbuilder` instead of `tezos-protocol-compiler`, potentially allowing proper inlining at the cost of slightly-less-stricter sandboxing. Nevertheless, dynamically loaded protocol are still compiled with the `tezos-protocol-compiler` and thus strictly sandboxed ; and a CI rule also checks the proper sandboxing of embedded protocols. This patch is coauthored with @hnrgrgr
2017-10-27 22:45:31 +04:00
.PHONY: all test build-deps docker-image clean
Reference in New Issue Copy Permalink