code_examples_server/langserv.gpr

project langserv is

   for Languages use ("Python", "Text", "HTML", "javascript", "css", "ReST");

   package Naming is
      for Implementation_Suffix ("Text") use ".txt";
      for Implementation_Suffix ("javascript") use ".js";
      for Implementation_Suffix ("css") use ".css";
      for Implementation_Suffix ("ReST") use ".rst";
   end Naming;

   for Source_Dirs use (--  The django base
                        ".",
                        "compile_server",

                        --  The actual app
                        "compile_server/app",

                        --  Where the manage.py custom commands are
                        "compile_server/app/management/commands",

                        -- Some design docs
                        "design",

                        -- The static resources
                        "compile_server/app/static/",

                        -- The HTML templates
                        "compile_server/app/templates/**",

                        -- The learn engine
                        "../learn/engine/sphinx",
                        "../learn/engine/sphinx/learn_theme/static/js/",

                        --  The courses, books, labs
                        "../learn/",
                        "../learn/courses/**",
                        "../learn/books/**",
                        "../learn/labs/**",

                        -- The infrastructure

                        "infrastructure",

                        --  The bits that are deployed on the container
                        "infrastructure/container_payload"
                       );


end langserv;