Commit 216a8e42 authored by Raphael Cauderlier's avatar Raphael Cauderlier

Add an opam file for Opam pinning

parent 1dad75e6
opam-version: "1.2"
name: "dktactics"
version: "dev"
maintainer: "Raphaël Cauderlier <cauderlier@irif.fr>"
author: "Raphaël Cauderlier <cauderlier@irif.fr>"
homepage: "https://gitlab.math.univ-paris-diderot.fr/cauderlier/dktactics"
bug-reports: "https://gitlab.math.univ-paris-diderot.fr/cauderlier/dktactics/issues"
dev-repo: "https://gitlab.math.univ-paris-diderot.fr/cauderlier/dktactics.git"
build: [make]
install: [make "INSTALL_BIN_DIR=%{bin}%" "INSTALL_LIB_DIR=%{lib}%/dedukti/dktactics" "install"]
remove: [make "INSTALL_BIN_DIR=%{bin}%" "INSTALL_LIB_DIR=%{lib}%/dedukti/dktactics" "uninstall"]
depends: ["dedukti" {= "dev"} "meta_dedukti" {= "dev"} ]
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment