diff options
author | Florian Franzmann | 2019-10-05 15:06:21 +0200 |
---|---|---|
committer | Florian Franzmann | 2019-10-05 18:29:11 +0200 |
commit | 6e8cd6faeea610f8943b03fa3d4a4013370feca0 (patch) | |
tree | 9833e3d13db1ccf58346eaedac7bdece1337bc31 /devel | |
parent | 8583c2e0d75cd8d5b8cb440224e791b6b74fc191 (diff) |
devel/rapidcheck: use CMAKE_*
Diffstat (limited to 'devel')
-rwxr-xr-x | devel/rapidcheck/BUILD | 1 | ||||
-rwxr-xr-x | devel/rapidcheck/CONFIGURE | 1 | ||||
-rwxr-xr-x | devel/rapidcheck/DEPENDS | 4 | ||||
-rwxr-xr-x | devel/rapidcheck/DETAILS | 1 | ||||
-rw-r--r-- | devel/rapidcheck/HISTORY | 3 |
5 files changed, 7 insertions, 3 deletions
diff --git a/devel/rapidcheck/BUILD b/devel/rapidcheck/BUILD deleted file mode 100755 index e013b8d866..0000000000 --- a/devel/rapidcheck/BUILD +++ /dev/null @@ -1 +0,0 @@ -cmake_build diff --git a/devel/rapidcheck/CONFIGURE b/devel/rapidcheck/CONFIGURE new file mode 100755 index 0000000000..b2f02c3032 --- /dev/null +++ b/devel/rapidcheck/CONFIGURE @@ -0,0 +1 @@ +source $GRIMOIRE/CMAKE_CONFIGURE diff --git a/devel/rapidcheck/DEPENDS b/devel/rapidcheck/DEPENDS index 40940c8d73..0ce83f2047 100755 --- a/devel/rapidcheck/DEPENDS +++ b/devel/rapidcheck/DEPENDS @@ -1,2 +1,2 @@ -depends gcc && -depends cmake +source $GRIMOIRE/CMAKE_DEPENDS && +depends gcc diff --git a/devel/rapidcheck/DETAILS b/devel/rapidcheck/DETAILS index 638f833f33..70b6ec18a9 100755 --- a/devel/rapidcheck/DETAILS +++ b/devel/rapidcheck/DETAILS @@ -1,3 +1,4 @@ +source $GRIMOIRE/CMAKE_FUNCTIONS . "$GRIMOIRE/FUNCTIONS" SPELL=rapidcheck VERSION=$(get_scm_version) diff --git a/devel/rapidcheck/HISTORY b/devel/rapidcheck/HISTORY index 7eed5cbe8d..5f605af47b 100644 --- a/devel/rapidcheck/HISTORY +++ b/devel/rapidcheck/HISTORY @@ -1,3 +1,6 @@ +2019-10-05 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> + * BUILD, CONFIGURE, DEPENDS, DETAILS: use CMAKE_* + 2018-12-02 Florian Franzmann <siflfran@hawo.stw.uni-erlangen.de> * PREPARE, BUILD, DEPENDS, DETAILS: spell created |