No, it is not halted, IMO it is quite active, they just don't do releases, so you have to use svn or a snapshot (which work good).
If you are using current sdcc (
i.e. from cvs) you can also use cmake (http://www.cmake.org
) (cvs or 2.6 as soon as it is released) to generated project files for it. Such a cmake file looks in the simplest case like this:
add_executable(hello main.c tool.c)
CMake can then generate makefiles for you or project files for
-Eclipse + CDT4
-CodeBlocks (CodeBlocks project generator in CMake very new, not widely tested, testing appreciated).
This has the advantage that your students don't have to care about Makefile syntax and don't have to add build targets etc. manually to the projects (and they get full dependencies etc.)