Menu

#523 Per-wiki makefiles

workingwiki
open
None
5
2014-04-02
2014-04-02
Lee Worden
No

Along with the WW standard makefiles, and the site makefiles, it would be good to allow each wiki to have a central makefile. Shouldn't really be hard to implement.

Discussion

  • Lee Worden

    Lee Worden - 2014-04-02

    Some considerations:

    • I can easily imagine having the wiki's name in an env variable, say $(WW_WIKINAME); then we could have -include site/makefile.$(WW_WIKINAME).before and after.

      • What about wikinames with slashes in them? Most of our wikis are "theobio/central" and such. Maybe -include site/makefiles.$(WW_WIKINAME)/makefile.before? That would be okay with slashes.
    • What about putting the makefile on-wiki? Say in MediaWiki:makefile-before, by analogy to MediaWiki:Common.css and such.

      • I would have to make sure it gets synced to the site directory as needed.
    • Maybe don't put it in the site directory, since the wiki owner expects to manage those files by hand, not to have the wiki saving stuff into it. Better to put the wikis' makefiles into a separate wiki-makefiles directory.

      • Or if MediaWiki:makefile-before et al exist, treat them as a special upstream project rather than putting them in a special central directory? Or treat them as a special upstream project that resides in that central directory?

    So maybe understand MediaWiki:makefile-before and MediaWiki:makefile-after, if they exist, to be in a special wiki-makefiles project, make it an implicit upstream project for everything in the wiki, and assign it a special project directory $(WW_RESOURCES)/wiki-makefiles/$(WW_WIKINAME)/.

     
  • Lee Worden

    Lee Worden - 2014-04-02

    I had assumed this was already on the tracker, but didn't find it.

     

Anonymous
Anonymous

Add attachments
Cancel