SPARK Ada tools（GNAT Studio）

已于 2022-12-08 02:34:49 修改
阅读量495 收藏
点赞数
文章标签： ada Gnat
于 2022-12-07 01:29:37 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_45486487/article/details/128213315
版权

GNAT Studio也可从AdaCore获得Commercial software solutions for Ada, C and C++ | AdaCoreAdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.https://www.adacore.com/download 点击链接可以通过自述说明了解安装过程

安装

在Windows上。只需运行.exe并按照说明操作即可。

在Linux上。 你将需要在运行软件包之前使其可执行。

在一个命令提示符下，执行chmod +x path_to_the_package-bin  

然后执行该软件包自动安装。                     

shaooohua
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
AdaGIDE-开源
05-13
AdaGIDE：适用于Windows的GNAT集成开发环境。 下载并运行安装程序，然后将adagide.exe替换为2018年的版本，以解决-gnat05标志问题。
17 个 Linux 下用于 C/C++ 的最好的 IDE
jsd2root的博客
09-13 4840
C++，一个众所周知的 C 语言的扩展，是一个优秀的、强大的、通用编程语言，它能够提供现代化的、通用的编程功能，可以用于开发包括视频游戏、搜索引擎、其他计算机软件乃至操作系统等在内的各种大型应用。 C++，提供高度可靠性的同时还能够允许操作底层内存来满足更高级的编程要求。 虽然已经有了一些供程序员用来写 C/C++ 代码的文本编辑器，但 IDE 可以为轻松、完美的编程提供综合的环境和组
79款 C/C++开发工具开源软件
热门推荐
锄禾日当午
11-22 1万+
排序： 收录时间 | 浏览数 集成开发环境 Eclipse Eclipse是著名的跨平台的自由集成开发环境（IDE）。最初主要用来Java语言开发，但是目前亦有人通过插件使其作为其他计算机语言比如C++和Python的开发工具。 Eclipse的本身只是一个框架平台，但是众多插件的支持使得Eclipse拥有其他功能相对固定的IDE软件很... 更多Ecl
Ada程序设计语言初识
Jack魏
04-01 482
曾是美国国防部指定的唯一一款可用于军用系统开发的语言，旨在整合美军事系统中运行着450多种不同的程序设计语言，她是迄今为止最复杂、最完备的软件工具。开发始于1975年，最早是针对嵌入式和实时系统设计的，1983年发布。其命名是为了纪念世界上第一位程序员阿达·洛芙莱斯。Ada具有许多现代软件的开发原理，而且将这些原理进行实现他可以改善软件系统的清晰性、可靠性、有效性、可维护性。
UOS安装GNAT
adacore的博客
10-04 357
闲的无聊，用VMWARE装个UOS虚拟机，专业版的，用开发者模式。从adacore官网下载x86_i64版的linux编译器。 http://www.adacore.com/download/more 需要翻-墙才能正常显示下载选项。这个下载得在主机上，拷贝到U盘，进UOS后，重新插入U盘，选择虚拟机就可以了。直接运行优盘里的安装文件。安装完成后，并没有万事大吉，发现无法运行。 用sublimeText编辑器打开 /etc/profile.d/gnat.sh 文件，输入： export PATH=/hom
【Rust日报】 2019-06-07：Ada/SPARK 打算學習 Rust 的借用所有權
Rust语言学习交流
06-07 328
actix 1.0 效能搶先看 actix 在 single query, multiple queries, fortunes, data updates 都拿第一名 在fortunes 甚至擊敗好久沒有對手的h2o 不過 Max Latency 在 28.9 ms 跟σ (SD) 0.4ms 差距很大是個大問題 Read more wasm-tetris 俄羅斯方塊線上wasm版 Read m...
基于spark的adaboost实现
flykinghg的博客
12-06 4025
基于spark的adaboost实现
Ada95编译器：GNAT3.15
12-17
GNAT3.15是一款不错的Ada95编译器。
Ada编译器：gnat3.12
12-20
GNAT3.12是一款Ada95编译器，该安装包中已经集成了 AdaGIDE编辑器。
GNAT社区版2018（分卷1）
09-30
本压缩包为GNAT社区版2018的Windows版本的第一压缩分卷（真是抱歉，由于单个文件大小的限制，不得不分卷）
GNAT社区版2018（分卷2，终卷）
09-30
该文档为GNAT社区版2018的Windows版，该卷为第二卷、终卷。（第一卷请到本人的资源目录下下载）
awesome-ada：与Ada和SPARK编程语言相关的精选资源精选列表
02-02
awesome-ada：与Ada和SPARK编程语言相关的精选资源精选列表
Ada SPARK | 2. Proof
Ozean
03-24 263
Laufzeitfehlererkennung procedure Increment(X:in out Integer) with Pre => (x < Integer'Last) is begin X:=X+1; end Increment; Grundlegende Routine-Oriented Contracts Pre- und Postconditions procedure Turn_on(speed: in out Integer) with Pre =>
node-v18.11.0-headers.tar.xz
最新发布
05-20
Node.js，简称Node，是一个开源且跨平台的JavaScript运行时环境，它允许在浏览器外运行JavaScript代码。Node.js于2009年由Ryan Dahl创立，旨在创建高性能的Web服务器和网络应用程序。它基于Google Chrome的V8 JavaScript引擎，可以在Windows、Linux、Unix、Mac OS X等操作系统上运行。 Node.js的特点之一是事件驱动和非阻塞I/O模型，这使得它非常适合处理大量并发连接，从而在构建实时应用程序如在线游戏、聊天应用以及实时通讯服务时表现卓越。此外，Node.js使用了模块化的架构，通过npm（Node package manager，Node包管理器）,社区成员可以共享和复用代码，极大地促进了Node.js生态系统的发展和扩张。 Node.js不仅用于服务器端开发。随着技术的发展，它也被用于构建工具链、开发桌面应用程序、物联网设备等。Node.js能够处理文件系统、操作数据库、处理网络请求等，因此，开发者可以用JavaScript编写全栈应用程序，这一点大大提高了开发效率和便捷性。 在实践中，许多大型企业和组织已经采用Node.js作为其Web应用程序的开发平台，如Netflix、PayPal和Walmart等。它们利用Node.js提高了应用性能，简化了开发流程，并且能更快地响应市场需求。
JavaScript_跨平台3D场景编辑器基于threejs golang和mongodb桌面和web.zip
05-20
JavaScript
JavaScript_如何编写跨平台Nodejs代码.zip
05-20
JavaScript
北邮大三物流工程物流信息系统课程设计
05-20
北邮大三物流工程物流信息系统课程设计
0520_1.mov
05-20
0520_1.mov
实现CAD基础绘图显示功能(C#源码)
05-20
使用C#开发的，一款非常简单的二维CAD绘图程序。 支持多种图元：线段、构造线、射线、多段线、圆、圆弧、文字。 缩放和平移视图。 支持图层。 图元支持夹点，并且可以通过移动夹点来修改图元。 捕捉。目前支持的捕捉类型有：端点、中点、中心点、象限点。 基本的编辑操作：删除、复制、镜像、偏移、移动。 撤销和重做。 支持点选和框选来选择图元。
GNAT_Studio-x86_64.AppImage 如何安装
07-13
GNAT Studio将会启动，并提供一个集成开发环境，您可以在其中编写、调试和运行Ada语言程序。 请注意，AppImage是一种可执行文件格式，它可以独立地运行应用程序，无需在系统中进行安装。当您运行AppImage文件时，它...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

shaooohua

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值