with "config/spark_mode_config.gpr"; project Spark_Mode is for Source_Dirs use ("src/", "config/"); for Object_Dir use "obj/" & Spark_Mode_Config.Build_Profile; for Create_Missing_Dirs use "True"; for Exec_Dir use "bin"; for Main use ("spark_mode.adb"); package Compiler is for Default_Switches ("Ada") use Spark_Mode_Config.Ada_Compiler_Switches; for Local_Configuration_Pragmas use "spark.adc"; end Compiler; package Binder is for Switches ("Ada") use ("-Es"); -- Symbolic traceback end Binder; package Install is for Artifacts (".") use ("share"); end Install; end Spark_Mode;