diff options
| author | fanquake <fanquake@gmail.com> | 2020-04-03 14:58:51 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2020-04-03 22:47:59 +0800 |
| commit | 9e071b00898aedd9632f105a22d976dc6dbc84b1 (patch) | |
| tree | dcd9fe18d5f554c5e794776da085f52fd91d1b57 /depends/packages/rapidcheck.mk | |
| parent | 08c4994969be20ab268faed2793fb4b9f17722ee (diff) | |
test: remove rapidcheck integration and tests
Diffstat (limited to 'depends/packages/rapidcheck.mk')
| -rw-r--r-- | depends/packages/rapidcheck.mk | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/depends/packages/rapidcheck.mk b/depends/packages/rapidcheck.mk deleted file mode 100644 index a16fee270e..0000000000 --- a/depends/packages/rapidcheck.mk +++ /dev/null @@ -1,21 +0,0 @@ -package=rapidcheck -$(package)_version=d9482c683429fe79122e3dcab14c9655874aeb8e -$(package)_download_path=https://github.com/emil-e/rapidcheck/archive -$(package)_file_name=$($(package)_version).tar.gz -$(package)_sha256_hash=b9ee8955b175fd3c0757ebd887bb075541761af08b0c28391b7c6c0685351f6b - -define $(package)_config_cmds - cmake -DCMAKE_INSTALL_PREFIX=$($(package)_staging_dir)$(host_prefix) -DCMAKE_POSITION_INDEPENDENT_CODE:BOOL=true -DRC_ENABLE_BOOST_TEST=ON -B . -endef - -define $(package)_preprocess_cmds - sed -i.old 's/ -Wall//' CMakeLists.txt -endef - -define $(package)_build_cmds - $(MAKE) rapidcheck -endef - -define $(package)_stage_cmds - $(MAKE) rapidcheck install -endef |