unlambda-idris-spark / ada /heap_model.gpr
SNAPKITTYWEST's picture
October 2026 main drop: mirror from GitHub
d8df231 verified
Raw History Blame Contribute Delete
464 Bytes
-- Copyright (c) 2026 Ahmad Ali Parr. All rights reserved.
-- SPDX-License-Identifier: LicenseRef-Proprietary
-- Public source visibility does not grant an open-source license. See LICENSE.
project Heap_Model is
for Source_Dirs use (".");
for Main use ("heap_demo.adb");
for Object_Dir use "../build/ada_obj";
for Exec_Dir use "../build";
package Compiler is
for Switches ("Ada") use ("-gnat2022", "-gnata");
end Compiler;
end Heap_Model;