Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 2d277472 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Add compilation and installation directives.

parent 47f6fe08
No related branches found
No related tags found
No related merge requests found
requires = ""
description = "Fix, a fixed-point computation library"
archive(byte) = "Fix.cma"
archive(native) = "Fix.cmxa"
TODO.md 0 → 100644
* Add `LICENSE`.
* Add `AUTHORS`.
* Insert copyright headers into source files.
* Test and release the `opam` package.
* Develop a test suite. (Use afl-fuzz?)
* Develop a performance benchmark.
dune-project
_build
.merlin
fix.install
# The name of the library.
THIS := fix
.PHONY: all
all:
dune build -p $(THIS)
.PHONY: install
install: all
dune install -p $(THIS)
.PHONY: clean
clean:
rm -f *~
dune clean
.PHONY: uninstall
uninstall:
ocamlfind remove $(THIS) || true
.PHONY: reinstall
reinstall: uninstall
@ $(MAKE) install
(library
(name fix)
(public_name fix)
(synopsis "An on-demand, incremental fixed point computation algorithm")
(modules ("Fix"))
(flags "-w" "A")
)
name: "fix"
opam-version: "2.0"
maintainer: "francois.pottier@inria.fr"
authors: [
"François Pottier <francois.pottier@inria.fr>"
]
homepage: "https://gitlab.inria.fr/fpottier/fix"
dev-repo: "git+https://gitlab.inria.fr/fpottier/fix.git"
bug-reports: "francois.pottier@inria.fr"
build: [
["dune" "build" "-p" name "-j" jobs]
]
depends: [
"ocaml"
"dune" {build}
]
synopsis: "An on-demand, incremental fixed point computation algorithm"
url {
src: "http://gallium.inria.fr/~fpottier/fix/fix-20130611.tar.gz"
checksum: "md5=056dec3341ef008458fa722ebf2e3c57"
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment