2018-03-25 00:37:10 +01:00
|
|
|
package=rapidcheck
|
2019-08-17 17:46:26 +02:00
|
|
|
$(package)_version=d9482c683429fe79122e3dcab14c9655874aeb8e
|
2018-12-01 03:06:21 +01:00
|
|
|
$(package)_download_path=https://github.com/emil-e/rapidcheck/archive
|
|
|
|
$(package)_file_name=$($(package)_version).tar.gz
|
2019-08-17 17:46:26 +02:00
|
|
|
$(package)_sha256_hash=b9ee8955b175fd3c0757ebd887bb075541761af08b0c28391b7c6c0685351f6b
|
2018-03-25 00:37:10 +01:00
|
|
|
|
|
|
|
define $(package)_config_cmds
|
2019-08-17 17:46:26 +02:00
|
|
|
cmake -DCMAKE_INSTALL_PREFIX=$($(package)_staging_dir)$(host_prefix) -DCMAKE_POSITION_INDEPENDENT_CODE:BOOL=true -DRC_ENABLE_BOOST_TEST=ON -B .
|
2018-03-25 00:37:10 +01:00
|
|
|
endef
|
|
|
|
|
2019-06-23 16:40:50 +02:00
|
|
|
define $(package)_preprocess_cmds
|
|
|
|
sed -i.old 's/ -Wall//' CMakeLists.txt
|
|
|
|
endef
|
|
|
|
|
2018-03-25 00:37:10 +01:00
|
|
|
define $(package)_build_cmds
|
2018-12-01 03:06:21 +01:00
|
|
|
$(MAKE) rapidcheck
|
|
|
|
endef
|
|
|
|
|
|
|
|
define $(package)_stage_cmds
|
|
|
|
$(MAKE) rapidcheck install
|
2018-03-25 00:37:10 +01:00
|
|
|
endef
|