diff --git a/Makefile b/Makefile index 1c52c33..3c1e739 100644 --- a/Makefile +++ b/Makefile @@ -11,7 +11,7 @@ OCFLAGS=-strict-formats -strict-sequence -safe-string -bin-annot -warn-error -a STUBLIBS=$(shell opam var stublibs) LIB=$(shell opam var lib) INSTDIR=$(LIB)/multicont -VERSION="1.0.0~rc.2" +VERSION="1.0.0~rc.3" .DEFAULT_GOAL: all .PHONY: all diff --git a/multicont.opam b/multicont.opam index 55c5260..4fea557 100644 --- a/multicont.opam +++ b/multicont.opam @@ -17,5 +17,5 @@ depends: [ ] install: [ - [ make "VERSION=1.0.0~rc.2" "install" ] + [ make "install" ] ]