{"id":21324140,"url":"https://github.com/mcejp/ironsides","last_synced_at":"2025-10-08T07:27:09.584Z","repository":{"id":132598623,"uuid":"240916507","full_name":"mcejp/IRONSIDES","owner":"mcejp","description":"Mirror of Ironsides DNS Server in Ada SPARK","archived":false,"fork":false,"pushed_at":"2020-02-16T15:39:38.000Z","size":170,"stargazers_count":6,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"master","last_synced_at":"2025-03-09T01:29:40.054Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Ada","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/mcejp.png","metadata":{"files":{"readme":"README.txt","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2020-02-16T15:36:31.000Z","updated_at":"2023-10-29T14:15:24.000Z","dependencies_parsed_at":null,"dependency_job_id":"3b481ee4-d096-4bc4-b5d6-b36f9b2267ac","html_url":"https://github.com/mcejp/IRONSIDES","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mcejp%2FIRONSIDES","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mcejp%2FIRONSIDES/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mcejp%2FIRONSIDES/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/mcejp%2FIRONSIDES/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/mcejp","download_url":"https://codeload.github.com/mcejp/IRONSIDES/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243802785,"owners_count":20350296,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-21T20:28:49.136Z","updated_at":"2025-10-08T07:27:04.523Z","avatar_url":"https://github.com/mcejp.png","language":"Ada","funding_links":[],"categories":[],"sub_categories":[],"readme":"IRONSIDES compilation instructions\r\n\r\nSPARK (http://www.altran-praxis.com/spark.aspx) is a programming language that uses formal methods to prove software properties.  There are two separate compilation processes:\r\n\r\n1) Use the SPARK toolset (http://libre.adacore.com/tools/spark-gpl-edition/) to perform the automatic theorem proving on the code.  (If you haven't modified the distribution, this step is not required as it has already been done by the authors-- you do still have to download SPARK to get the library modules).\r\n\r\n2) Use an Ada compiler (e.g. http://libre.adacore.com/tools/gnat-gpl-edition/) to create an executable.\r\n\r\n=============================WINDOWS DIRECTIONS===========================\r\nDownload and install GNAT, SPARK\r\n\r\nThe following command line will create an executable (assuming SPARK is installed to c:\\spark\\2012).\r\n\r\ngnatmake -gnat05 -O3 -gnatp -Ic:\\spark\\2012\\lib\\spark -Ic:\\spark\\2012\\lib\\spark\\current spark_dns_main\r\n\r\n=============================LINUX DIRECTIONS===========================\r\ndownload, e.g., gnat-gpl-2012-x86_64-pc-linux-gnu-bin.tar.gz and spark-gpl-2012-x86_64-pc-linux-gnu.tar.gz\r\nDo NOT use the GNAT you can apt-get on Debian (last I checked it had a bug)\r\n\r\ngzip -d *.gz\r\ntar xpf *.tar\r\nmake sure you have a C compiler installed (e.g. on Ubuntu, apt-get install build-essential)\r\n\r\ncd gnat-2012-x86_64-pc-linux-gnu-bin\r\nsudo ./doinstall\r\n\r\ncd ../\r\n# you'll need to change the paths below to yours\r\nexport LIBRARY_PATH=/usr/lib/x86_64-linux-gnu\r\nexport PATH=/usr/gnat/bin:$PATH\r\ngnatmake -gnat05 -O3 -gnatp -I/home/student/sparkgpl/lib/spark -I/home/student/sparkgpl/lib/spark/current spark_dns_main\r\n\r\nNow run it with (e.g.):\r\ndos2unix dfcs.usafa.edu.zonefile\r\nsudo ./spark_dns_main dfcs.usafa.edu.zonefile","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmcejp%2Fironsides","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fmcejp%2Fironsides","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fmcejp%2Fironsides/lists"}