Add Cheddar 3.3

index/ch/cheddar/cheddar-3.3.0.toml

@@ -0,0 +1,43 @@
+description = "Cheddar is a real time scheduling analysis tool."
+
+long-description = """
+To run cheddar you should set CHEDDAR_INSTALL_PATH or change
+current working directory to the crate root.
+"""
+
+name = "cheddar"
+version = "3.3.0"
+website = "http://beru.univ-brest.fr/cheddar"
+authors = ["Lab-STICC"]
+licenses = "GPL-3.0-only"
+maintainers = ["Maxim Reznik <[email protected]>"]
+maintainers-logins = ["reznikmm"]
+project-files = ["gpr/cheddar.gpr"]
+tags = ["realtime", "model", "simulator", "analyzer"]
+executables = ["cheddar"]
+
+configuration.disabled = true
+
+[environment]
+CHEDDAR_DIR.set = "${CRATE_ROOT}"
+CHEDDAR_INSTALL_PATH.set = "${CRATE_ROOT}/graphical_editor/"
+
+# Drop `/src` segment from Source_Dirs, drop `required_packages/*` references
+# Add `package Install` to install glade_files into the crate root.
+[[actions]]
+type = "post-fetch"
+command = ["bash", "-c", "-x", "sed -i.bak -e/CHEDDAR_DIR/s/.src// -es/required_packages[a-z/]*// '-e/^end/s@^@package Install is for Artifacts (\".\") use (\"../graphical_editor/glade_files\"); end Install;@' gpr/*.gpr"]
+
+# Append dependencies to the project.
+[[actions]]
+type = "post-fetch"
+command = ["sed", "-i.bk2", '-e1s/^/with "gtkada";with "ocarina-config"; with "xmlada";/', "gpr/cheddar.gpr"]
+
+[[depends-on]]
+gtkada = "*"
+xmlada = "*"
+ocarina_lib = "=1.1.0-20070603"
+
+[origin]
+url = "http://beru.univ-brest.fr/svn/CHEDDAR/releases/Cheddar-3.3-src.tar.gz"
+hashes = ["sha256:aea10b3cf91eec749b09d3c22ba2a97c4d8a1360ef0d95efb7349c0121cb4a16"]

index/oc/ocarina_lib/ocarina_lib-1.1.0-20070603.toml

@@ -0,0 +1,37 @@
+name = "ocarina_lib"
+description = "Ocarina is a stand-alone AADL model processor, written in Ada."
+version = "1.1.0-20070603"
+
+long-description = "This is an old snapshot used in Cheddar!"
+
+authors = ["Telecom ParisTech", "Jérôme Hugues"]
+maintainers = ["Max Reznik <[email protected]>"]
+maintainers-logins = ["reznikmm", "yoogx"]
+licenses = "GPL-3.0-or-later WITH GCC-exception-3.1"
+website = "http://www.openaadl.org/ocarina.html"
+tags = ["aadl", "model"]
+project-files = ["projects/ocarina-config.gpr"]
+
+configuration.disabled = true
+
+# Old configure can't detect Windows
+[available.'case(os)']
+windows = false
+'...'   = true
+
+# Disable -gnatwe:
+[[actions]]
+type = "post-fetch"
+command = ["sed", "-i.bak", "-e", '/gnatg/s/)/, "-gnatwn")/', "projects/ocarina.gpr"]
+
+[[actions]]
+type = "post-fetch"
+command = ["bash", "-c", "PYTHON=/bin/false ./configure"]
+
+# ./configure can't find XMLAda even if it presents
+# [[depends-on]]
+# xmlada = "*"
+
+[origin]
+url = "http://beru.univ-brest.fr/svn/CHEDDAR/trunk/required_packages/Archive/ocarina-1.1w-src-20070603.tar.gz"
+hashes = ["sha256:56e84ebed2dd34f3048beede06aa11c550701ea17c53cbcc94214d6e2b8d78d8"]