diff --git a/Makefile.dev b/Makefile.dev deleted file mode 100644 index 1a5ecfd7ca2242462e9b1b8731d3751598629a7a..0000000000000000000000000000000000000000 --- a/Makefile.dev +++ /dev/null @@ -1,65 +0,0 @@ - -############################### -# a few git shortcuts - -uv:update_version -update_version: - git pull # to get the release tags! - rm -f src/lutilsVersion.ml - make clean && make - -cia: test - git commit -a -F log - -ci: - git commit -F log - -push: opam-test - git push && \ - echo "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/pipelines"\ - && echo "if the CI is fine, consider issuing a 'make opam-rel'" - - -merge: merge_work_into_master -merge_work_into_master: - echo "git checkout master && \ - git merge work && make opam && \ - git push " - -amend: - git commit -a -F log --amend - - -############################### -# test - -.PHONY: test -test: - cd test ; make test - -test-batch: - cd test ; make test-batch - - -############################### -# opam-ing - -NAME=lutils -SRC=lib bin emacs README.org LICENSE Makefile Makefile.version *.opam dune-project - - -$(NAME).$(VERSION).tgz: $(SRC) - git archive --prefix=$(NAME).$(VERSION)/ -o $@ HEAD $(SRC) test - -opam-rel : $(NAME).$(VERSION).tgz - make-opam-pack $(NAME).$(VERSION) $(NAME) - -opam-test : $(NAME).$(VERSION).tgz - make-opam-pack $(NAME).$(VERSION) $(NAME) -test - -############################### -# pushing onto the official repo -TGZ=http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/$(NAME).$(VERSION).tgz -opam-pr: - echo "opam publish $(TGZ) ." - diff --git a/lutils.opam b/lutils.opam index 1e37e055e9b19affe727fc9f0373825faecaa492..47f427de8b86c28825719660af8778014606e6ca 100644 --- a/lutils.opam +++ b/lutils.opam @@ -1,13 +1,20 @@ opam-version: "2.0" -maintainer: "erwan.jahier@imag.fr" +synopsis: "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)" +description: """\ +The lutils library contains various modules shared between tools developped at +Verimag in the synchronous group. Those modules deal with: +- generate and parse RIF files +- generate dro files (to call luciole) + +The gnuplot-rif tool vizualise RIF files using gnuplot. +""" +maintainer: "erwan.jahier@univ-grenoble-alpes.fr" authors: "Erwan Jahier" license: "CeCILL-2.1" homepage: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/" bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils/issues" -doc: "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/lustre-v6" - depends: [ "ocaml" {>= "4.02" & < "4.14.0" } | ( "ocaml" { >= "4.14.0" } & "camlp-streams" ) "dune" {>= "2.0"} @@ -17,19 +24,8 @@ depends: [ "camlp-streams" "qtest" ] -build: [ - ["dune" "build" "-p" name "-j" jobs] - ] +build: ["dune" "build" "-p" name "-j" jobs] post-messages: "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/" dev-repo: "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutils.git" -synopsis: "Tools and libs shared by Verimag/synchronous tools (lustre, lutin, rdbg)" -description: """ -The lutils library contains various modules shared between tools developped at -Verimag in the synchronous group. Those modules deal with: -- generate and parse RIF files -- generate dro files (to call luciole) - -The gnuplot-rif tool vizualise RIF files using gnuplot. -"""