Hi,
As far as I know Liferay portlets are JSR 168 based. If you don't need to make modifications to Liferay source code I strongly suggest that use Liferay plugin SDK for portlet development. This is how I started.
1. Downloaded the plugins SDK from downloads section
2. Check instructions from this page to development
http://www.liferay.com/web/guest/community/wiki/-/wiki/1071674/Plugins+SDK and from portlet development guide
http://content.liferay.com/4.2/doc/devel/liferay_4_portlet_development_guide/onepage/3. Get some JSF based portlet from liferay repository
http://sourceforge.net/project/showfiles.php?group%20id=492604. Once you have generated a portlet (phase 2), you will notice that liferay plugins follow the same directory structure as the one that you obtained by running the ant script (phase 2).
5. Replace the directories and files from your development portlet with the ones from liferay repository.
6. Now when you deploy your portlet (ant script is included in your portlet once you have generated it (phase 2)), you have developed jsf based portlet to your liferay installation.
In other words if you only need to develop portlet based on JSF you don't need the extension environment. Liferay plugins SDK is meant for that (It contains ready made ant scripts, etc. for portlet and theme development). Just generate your first portlet and replace the contents with the one that contains JSF support/components) and deploy it.
BTW. I strongly suggest using liferay auto-deploy feature - You can find more information on liferay's developer documentation.
If you have Liferay up and running you can also check for plugins installer portlet and install some JSF based portlet. Once you install it, it will appear into your JBOSS deploy dir. You can check the directory structure, files etc. from there.
Hope this helps at least a bit!
- Lari
Please sign in to flag this as inappropriate.