The source code and dockerfile for the GSW2024 AI Lab.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
This repo is archived. You can view files and clone it, but cannot push or open issues/pull-requests.

71 lines
3.4 KiB

4 weeks ago
  1. #!/usr/bin/env python3
  2. from travis_helper import *
  3. def addon_coverity():
  4. return {
  5. "coverity_scan": {
  6. "name": "smtrat/carl",
  7. "description": "CArL",
  8. "properties": {
  9. "notification_email": "gereon.kremer@cs.rwth-aachen.de",
  10. "build_command_prepend": "cov-configure --template --comptype clangcc --compiler $CXX",
  11. "build_command": ".ci/build.sh",
  12. "branch_pattern": "master",
  13. }
  14. }
  15. }
  16. return res
  17. def addon_sonarcloud():
  18. return {
  19. "sonarcloud": {
  20. "organization": "smtrat-github",
  21. "token": "nIGn6M7vkwD6HAKgS94QZIIU+A+dWOgqXzJ7lnAdGLXUx3cStVMO1LuOANttGyeGSJNj8Fa+YzwCx5EMQDvZW/b8cuoRld+I4gbmszUB6BXwQ6JJvpFczHrPpwyeo2LKrBN549aBCtOaLzw7rVPDzcdC6T39IvxpPXVCMTTjoq7Mp12HSWS8Ra8YIsOnJfYKVSxjCwcY9ICac70zpA6uKuWBNL13EBM+IpLACLFDKMcaIdb2CGyRvtbt7u8BOU9mjulRtpg1Ndc3eGEIIJJXM8lQTA+iMB6iapGWYbMB5Gwifrwy59UTgNbdR/6sWP5E5kxBGxn1lyp9VP6ChSS/b3Szhh0jUWaqBxoAK0Kh4KBeW7eeLvaUALuPmoNneGUZACrbNDq6aVzHUgwEKQTxF0reDkG3ZaEU+1NCukvLaI58OBxenb5bMOlEWzUMSMMuNO0MgVKXc3Nvr4oEm0USP6Ixky1AUTKTVDY87HHuQ+kCM/L5MQUQTwtQPuWF1zkDry+6A2LNABySla9AAtxlUth7rGvLwaTz2o3yMOIohQb12r8LqXnjESVcENk0f0gbyqeqM7aPcXAyqc6YDW9LBDSsWWa9SqxEfwz2zktzsWfKfCZWi4Fn7CaPdHGsGlSaGsXGovrT1DbyQPiTND0R1cinfrOqZBgwjWOB6JTol+g="
  22. }
  23. }
  24. properties.update({
  25. "addon.coverity": {"addons": addon_coverity()},
  26. "addon.sonarcloud": {"addons": addon_sonarcloud()},
  27. })
  28. jobs = [
  29. job("0-clang", ["build", "linux", "clang-3.8", "build.sh"]),
  30. job("0-clang", ["build", "linux", "clang-3.9", "build.sh"]),
  31. job("0-clang", ["build", "linux", "clang-4.0", "build.sh"]),
  32. job("0-clang", ["build", "linux", "clang-5.0", "build.sh"]),
  33. job("0-clang", ["build", "linux", "clang-6.0", "build.sh"]),
  34. job("1-gcc", ["dependencies", "linux", "g++-5", "build.sh"]),
  35. job("1-gcc", ["build", "linux", "g++-5", "j1", "build.sh"]),
  36. job("1-gcc", ["dependencies", "linux", "g++-6", "build.sh"]),
  37. job("1-gcc", ["build", "linux", "g++-6", "j1", "build.sh"]),
  38. job("1-gcc", ["dependencies", "linux", "g++-7", "build.sh"]),
  39. job("1-gcc", ["build", "linux", "g++-7", "j1", "build.sh"]),
  40. job("1-gcc", ["dependencies", "linux", "g++-8", "build.sh"]),
  41. job("1-gcc", ["build", "linux", "g++-8", "j1", "build.sh"]),
  42. job("2-macos", ["build", "xcode7.3", "build.sh"]),
  43. job("2-macos", ["build", "xcode8.3", "build.sh"]),
  44. job("2-macos", ["build", "xcode9", "build.sh"]),
  45. job("2-macos", ["build", "xcode9.1", "build.sh"]),
  46. job("2-macos", ["build", "xcode9.2", "build.sh"]),
  47. job("2-macos", ["build", "xcode9.3", "build.sh"]),
  48. job("3-docs", ["build", "linux", "g++-6", "task.doxygen", "j1", "build.sh"]),
  49. job("4-tidy", ["build", "linux", "clang-5.0", "task.tidy", "build.sh", "mayfail"]),
  50. job("5-checker", ["dependencies", "linux", "clang-5.0", "task.coverity", "build.sh"]),
  51. job("5-checker", ["build", "linux", "clang-5.0", "task.coverity", "addon.coverity", "mayfail"]),
  52. #job("5-checker", ["dependencies", "linux", "clang-6.0", "task.sonarcloud", "j1", "build.sh"]),
  53. job("5-checker", ["build", "linux", "clang-5.0", "task.sonarcloud", "addon.sonarcloud", "build.sh", "mayfail"]),
  54. job("6-addons", ["dependencies", "linux", "g++-6", "task.pycarl", "j1", "build.sh"]),
  55. job("6-addons", ["build", "linux", "g++-6", "task.pycarl", "j1", "build.sh", "mayfail"]),
  56. job("6-addons", ["dependencies", "linux", "g++-6", "task.addons", "j1", "build.sh"]),
  57. job("6-addons", ["build", "linux", "g++-6", "task.addons", "j1", "build.sh", "mayfail"]),
  58. ]
  59. cached = [
  60. "$HOME/usr/",
  61. "$HOME/.sonar/cache",
  62. "build/resources",
  63. ]
  64. render_template(jobs, cached)