with "gtkada";

project F2TArchitectureExplorationExhaustiveMethod extends "kernelWithParsers.gpr" is

   for Source_Dirs use ("framework_examples/architecture_exploration_tools",
                        "framework/optimizers",
			"framework/architecture_generator",
                        "framework/functions_to_tasks_assignment");

   for Main use ("exhaustive_method.adb");

    -- only the last definition of Object_Dir is used
    case kernel.Build is
        when "Debug" =>
            for Object_Dir use "binaries/objects/debug";
            for Exec_Dir use ".";
        when "Release" =>
            for Object_Dir use "binaries/objects/release";
            for Exec_Dir use ".";
    end case;

    package Builder is
        Executable := "";

        case kernel.Build is
            when "Release" =>
                Executable := "F2T_exhaustive_method";
            when "Debug" =>
                Executable := "F2T_exhaustive_method_d";
		end case;

      for Executable ("exhaustive_method.adb") use Executable;
    end Builder;


end F2TArchitectureExplorationExhaustiveMethod;