diff options
author | Joey Hess <joey@kitenet.net> | 2013-02-27 23:26:14 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-02-27 23:26:14 -0400 |
commit | f6f52431d8757c920ecd4c7ec40b9e5b272959b0 (patch) | |
tree | e092ee04f673edcb7548b915b8d28077f9751243 | |
parent | 0b141f6949ceb0ecb82d51035aec1a4a2839552b (diff) |
Android: Enable test suite.
-rw-r--r-- | Makefile | 2 | ||||
-rw-r--r-- | Test.hs | 46 | ||||
-rw-r--r-- | debian/changelog | 1 |
3 files changed, 25 insertions, 24 deletions
@@ -157,7 +157,7 @@ android: cabal configure # cabal cannot cross compile with custom build type, so workaround sed -i 's/Build-type: Custom/Build-type: Simple/' git-annex.cabal - $$HOME/.ghc/android-14/arm-linux-androideabi-4.7/arm-linux-androideabi/bin/cabal configure -f'Android Assistant -Pairing -Webapp -TestSuite' + $$HOME/.ghc/android-14/arm-linux-androideabi-4.7/arm-linux-androideabi/bin/cabal configure -f'Android Assistant -Pairing -Webapp' $(MAKE) git-annex sed -i 's/Build-type: Simple/Build-type: Custom/' git-annex.cabal @@ -70,31 +70,31 @@ propigate Counts { errors = e , failures = f } quickcheck :: [IO Result] quickcheck = - [ checkprop "prop_idempotent_deencode_git" Git.Filename.prop_idempotent_deencode - , checkprop "prop_idempotent_deencode" Utility.Format.prop_idempotent_deencode - , checkprop "prop_idempotent_fileKey" Locations.prop_idempotent_fileKey - , checkprop "prop_idempotent_key_encode" Types.Key.prop_idempotent_key_encode - , checkprop "prop_idempotent_shellEscape" Utility.SafeCommand.prop_idempotent_shellEscape - , checkprop "prop_idempotent_shellEscape_multiword" Utility.SafeCommand.prop_idempotent_shellEscape_multiword - , checkprop "prop_idempotent_configEscape" Logs.Remote.prop_idempotent_configEscape - , checkprop "prop_parse_show_Config" Logs.Remote.prop_parse_show_Config - , checkprop "prop_parentDir_basics" Utility.Path.prop_parentDir_basics - , checkprop "prop_relPathDirToFile_basics" Utility.Path.prop_relPathDirToFile_basics - , checkprop "prop_relPathDirToFile_regressionTest" Utility.Path.prop_relPathDirToFile_regressionTest - , checkprop "prop_cost_sane" Config.prop_cost_sane - , checkprop "prop_hmacWithCipher_sane" Crypto.prop_hmacWithCipher_sane - , checkprop "prop_TimeStamp_sane" Logs.UUIDBased.prop_TimeStamp_sane - , checkprop "prop_addLog_sane" Logs.UUIDBased.prop_addLog_sane - , checkprop "prop_verifiable_sane" Utility.Verifiable.prop_verifiable_sane - , checkprop "prop_segment_regressionTest" Utility.Misc.prop_segment_regressionTest - , checkprop "prop_read_write_transferinfo" Logs.Transfer.prop_read_write_transferinfo - , checkprop "prop_read_show_inodecache" Utility.InodeCache.prop_read_show_inodecache - , checkprop "prop_parse_show_log" Logs.Presence.prop_parse_show_log - , checkprop "prop_read_show_TrustLevel" Types.TrustLevel.prop_read_show_TrustLevel - , checkprop "prop_parse_show_TrustLog" Logs.Trust.prop_parse_show_TrustLog + [ check "prop_idempotent_deencode_git" Git.Filename.prop_idempotent_deencode + , check "prop_idempotent_deencode" Utility.Format.prop_idempotent_deencode + , check "prop_idempotent_fileKey" Locations.prop_idempotent_fileKey + , check "prop_idempotent_key_encode" Types.Key.prop_idempotent_key_encode + , check "prop_idempotent_shellEscape" Utility.SafeCommand.prop_idempotent_shellEscape + , check "prop_idempotent_shellEscape_multiword" Utility.SafeCommand.prop_idempotent_shellEscape_multiword + , check "prop_idempotent_configEscape" Logs.Remote.prop_idempotent_configEscape + , check "prop_parse_show_Config" Logs.Remote.prop_parse_show_Config + , check "prop_parentDir_basics" Utility.Path.prop_parentDir_basics + , check "prop_relPathDirToFile_basics" Utility.Path.prop_relPathDirToFile_basics + , check "prop_relPathDirToFile_regressionTest" Utility.Path.prop_relPathDirToFile_regressionTest + , check "prop_cost_sane" Config.prop_cost_sane + , check "prop_hmacWithCipher_sane" Crypto.prop_hmacWithCipher_sane + , check "prop_TimeStamp_sane" Logs.UUIDBased.prop_TimeStamp_sane + , check "prop_addLog_sane" Logs.UUIDBased.prop_addLog_sane + , check "prop_verifiable_sane" Utility.Verifiable.prop_verifiable_sane + , check "prop_segment_regressionTest" Utility.Misc.prop_segment_regressionTest + , check "prop_read_write_transferinfo" Logs.Transfer.prop_read_write_transferinfo + , check "prop_read_show_inodecache" Utility.InodeCache.prop_read_show_inodecache + , check "prop_parse_show_log" Logs.Presence.prop_parse_show_log + , check "prop_read_show_TrustLevel" Types.TrustLevel.prop_read_show_TrustLevel + , check "prop_parse_show_TrustLog" Logs.Trust.prop_parse_show_TrustLog ] where - checkprop desc prop = do + check desc prop = do putStrLn desc quickCheckResult prop diff --git a/debian/changelog b/debian/changelog index 6f1b43702..b927f8623 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,6 +1,7 @@ git-annex (4.20130228) UNRELEASED; urgency=low * Stop depending on testpack. + * Android: Enable test suite. -- Joey Hess <joeyh@debian.org> Wed, 27 Feb 2013 23:20:40 -0400 |